Universes in Explicit Mathematics (1999)

by Gerhard Jäger , Reinhard Kahle , Thomas Studer
Venue:Annals of Pure and Applied Logic
Citations:8 - 5 self

Active Bibliography

6 Wellordering proofs for metapredicative Mahlo – Thomas Strahm
5 First Steps Into Metapredicativity in Explicit Mathematics – Thomas Strahm - 1999
3 Autonomous Fixed Point Progressions and Fixed Point Transfinite Recursion – Thomas Strahm
2 Metapredicative Subsystems of Analysis – Christian Rüede - 2001
4 Realization of Constructive Set Theory into Explicit Mathematics: a lower bound for impredicative Mahlo universe – Sergei Tupailo - 2000
13 Extending the System T_0 of explicit mathematics: the limit and Mahlo axioms – Gerhard Jäger, Thomas Studer
2 Extending the system T 0 of explicit mathematics: the limit and Mahlo axioms – Gerhard Jäger, Thomas Studer
Explicit mathematics: W-type, models – Thomas Studer - 1997
A Semantics for ...: A Calculus With Overloading and Late-Binding – Thomas Studer - 1999
2 Weak theories of truth and explicit mathematics. Submitted for publication. 19 – Sebastian Eberhard, Thomas Strahm
2 A Theory of Explicit Mathematics Equivalent to ID_1 – Reinhard Kahle, Thomas Studer
1 Universes over Frege Structures – Reinhard Kahle - 1996
7 The art of ordinal analysis – Michael Rathjen - 2006
3 Metapredicative And Explicit Mahlo: A Proof-Theoretic Perspective – Gerhard Jäger
1 On the Treatment of Predicative Polymorphism in Theories of Explicit Mathematics – Mathis Kretz - 2002
4 Realization of analysis into Explicit Mathematics – Sergei Tupailo - 2000
1 Formalizing Non-Termination of Recursive Programs – Reinhard Kahle, Reinhard Kahle, Thomas Studer, Thomas Studer - 2001
2 Systems of explicit mathematics with non-constructive µ-operator and join – Thomas Glaß, Thomas Strahm - 1996
4 Weak theories of operations and types – Thomas Strahm