On the Cantor–Bendixson rank of a set that is searchable in Gödel’s T

Computability ◽

10.3233/com-150043 ◽

2016 ◽

Vol 5 (1) ◽

pp. 61-74

Author(s):

Dag Normann

Keyword(s):

Download Full-text

Andreas Weiermann. How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study. The journal of symbolic logic, vol. 63 (1998), pp. 1348–1370.

Bulletin of Symbolic Logic ◽

10.2178/bsl/1182353903 ◽

2002 ◽

Vol 8 (3) ◽

pp. 435-436

Author(s):

Thomas Strahm

Keyword(s):

Symbolic Logic ◽

Download Full-text

The Trade-Off Theorem and Fragments of Gödel’s T

Lecture Notes in Computer Science - Theory and Applications of Models of Computation ◽

10.1007/11750321_62 ◽

2006 ◽

pp. 654-674 ◽

Author(s):

Lars Kristiansen ◽

Paul J. Voda

Keyword(s):

Trade Off ◽

Download Full-text

Characterizing the elementary recursive functions by a fragment of Gödel's T

Archive for Mathematical Logic ◽

10.1007/s001530050160 ◽

2000 ◽

Vol 39 (7) ◽

pp. 475-491 ◽

Author(s):

Arnold Beckmann ◽

Andreas Weiermann

Keyword(s):

Recursive Functions ◽

Download Full-text

Gödel's T

Practical Foundations for Programming Languages ◽

10.1017/cbo9781139342131.010 ◽

2013 ◽

pp. 64-70

Author(s):

Robert Harper

Keyword(s):

Download Full-text

Complexity of Gödel’s T in λ-Formulation

Lecture Notes in Computer Science - Typed Lambda Calculi and Applications ◽

10.1007/978-3-642-02273-9_28 ◽

2009 ◽

pp. 386-400

Author(s):

Gunnar Wilken ◽

Andreas Weiermann

Keyword(s):

Download Full-text

A proof of strongly uniform termination for Gödel's $T$ by methods from local predicativity

Archive for Mathematical Logic ◽

10.1007/s001530050075 ◽

1997 ◽

Vol 36 (6) ◽

pp. 445-460 ◽

Author(s):

Andreas Weiermann

Keyword(s):

Download Full-text

Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm

Fuzzy Sets and Systems ◽

10.1016/j.fss.2010.10.007 ◽

2011 ◽

Vol 169 (1) ◽

pp. 65-90 ◽

Author(s):

Aleksandar Perović ◽

Zoran Ognjanović ◽

Miodrag Rašković ◽

Dragan Radojević

Keyword(s):

Probability Measures ◽

Finitely Additive Probability ◽

Additive Probability ◽

Download Full-text

How Is it That Infinitary Methods Can Be Applied to Finitary Mathematics? Godel's T: A Case Study

Bulletin of Symbolic Logic ◽

10.2307/3062214 ◽

2002 ◽

Vol 8 (3) ◽

pp. 435

Author(s):

Thomas Strahm ◽

Andreas Weiermann

Keyword(s):

Download Full-text

Analyzing Gödel's T Via Expanded Head Reduction Trees

Mathematical Logic Quarterly ◽

10.1002/1521-3870(200010)46:4<517::aid-malq517>3.0.co;2-a ◽

2000 ◽

Vol 46 (4) ◽

pp. 517-536 ◽

Author(s):

Arnold Beckmann ◽

Andreas Weiermann

Keyword(s):

Download Full-text

A simple ordinal recursive normalization of Gödel's T

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/bfb0028033 ◽

1998 ◽

pp. 491-509 ◽

Author(s):

Paul J. Voda

Keyword(s):

Download Full-text