Universes in Explicit Mathematics (1999)

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

Active Bibliography

6 Wellordering proofs for metapredicative Mahlo – Thomas Strahm
4 First Steps Into Metapredicativity in Explicit Mathematics – Thomas Strahm - 1999
A Semantics for ...: A Calculus With Overloading and Late-Binding – Thomas Studer - 1999
4 Realization of Constructive Set Theory into Explicit Mathematics: a lower bound for impredicative Mahlo universe – Sergei Tupailo - 2000
2 Autonomous Fixed Point Progressions and Fixed Point Transfinite Recursion – Thomas Strahm
2 Extending the system T 0 of explicit mathematics: the limit and Mahlo axioms – Gerhard Jäger, Thomas Studer
11 Extending the System T_0 of explicit mathematics: the limit and Mahlo axioms – Gerhard Jäger, Thomas Studer
2 Metapredicative Subsystems of Analysis – Christian Rüede - 2001
Explicit mathematics: W-type, models – Thomas Studer - 1997
1 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
2 Metapredicative And Explicit Mahlo: A Proof-Theoretic Perspective – Gerhard Jäger
2 Impredicative Overloading in Explicit Mathematics – Thomas Studer - 2000
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
11 Theories With Self-Application and Computational Complexity – Thomas Strahm - 2002