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
4 Realization of Constructive Set Theory into Explicit Mathematics: a lower bound for impredicative Mahlo universe – Sergei Tupailo - 2000
vorgelegt von – Der Technischen Fakultät, Der Universität Erlangen-nürnberg, Kai Matthias Lampka, Erlangen März, Dekan Prof, Dr. -ing Alfred Leipertz
3 Autonomous Fixed Point Progressions and Fixed Point Transfinite Recursion – Thomas Strahm
13 Extending the System T_0 of explicit mathematics: the limit and Mahlo axioms – Gerhard Jäger, Thomas Studer
2 Impredicative Overloading in Explicit Mathematics – Thomas Studer - 2000
Explicit Mathematics: Power Types and Overloading – Thomas Studer
2 Metapredicative Subsystems of Analysis – Christian Rüede - 2001