The Unfolding of Non-Finitist Arithmetic (2000)

Cached

Download Links

by Solomon Feferman , Thomas Strahm
Citations:5 - 3 self

Active Bibliography

7 Some Theories With Positive Induction of Ordinal Strength ... – Gerhard Jäger, Thomas Strahm - 1996
5 The µ Quantification Operator in Explicit Mathematics With Universes and Iterated Fixed Point Theories With Ordinals – Markus Marzetta, Thomas Strahm - 1998
1 On the Proof Theory of Applicative Theories – Thomas Adrian Strahm - 1996
2 The Non-Constructive µ Operator, Fixed Point Theories With Ordinals, and the Bar Rule – Thomas Strahm - 2000
16 Gödel's program for new axioms: Why, where, how and what? – Solomon Feferman - 1996
6 Wellordering proofs for metapredicative Mahlo – Thomas Strahm
5 First Steps Into Metapredicativity in Explicit Mathematics – Thomas Strahm - 1999
7 1996], Computation on abstract data types. The extensional approach, with an application to streams – Solomon Feferman, C. Kleene
1 Fixed Point Theories and Dependent Choice – Gerhard Jäger, Thomas Strahm - 2000
1 Formalizing Non-Termination of Recursive Programs – Reinhard Kahle, Reinhard Kahle, Thomas Studer, Thomas Studer - 2001
7 Polynomial Time Operations in Explicit Mathematics – Thomas Strahm - 1997
2 Systems of explicit mathematics with non-constructive µ-operator and join – Thomas Glaß, Thomas Strahm - 1996
21 Totality in Applicative Theories – Gerhard Jäger , Thomas Strahm - 1995
2 Weak theories of truth and explicit mathematics. Submitted for publication. 19 – Sebastian Eberhard, Thomas Strahm
20 Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory – Gerhard Jäger, Thomas Strahm
1 On the strength of some semi-constructive theories – Solomon Feferman - 2009
2 The Higher Infinite in Proof Theory – Michael Rathjen - 1995
8 The Realm of Ordinal Analysis – Michael Rathjen - 1997
1 An ordinal analysis for theories of self-referential – Graham Emil Leigh, Michael Rathjen - 2009