Universes in Explicit Mathematics (1999)

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

Documents Related by Co-Citation

48 Systems of explicit mathematics with non-constructive µ-operator. Part I – Solomon Feferman, Gerhard Jäger - 1993
72 Foundations of Constructive Mathematics: Metamathematical Studies – Michael J Beeson - 1985
33 Eine beweistheoretische Untersuchung von ∆1 2–CA + BI und verwandter Systeme, Sitzungsberichte der Bayerischen Akademie der Wissenschaften, Mathematisch–Naturwissenschaftliche Klasse – G Jäger, W Pohlers - 1982
66 Constructive theories of functions and classes – Solomon Feferman - 1979
91 A language and axioms for explicit mathematics – S Feferman - 1975
13 Extending the System T_0 of explicit mathematics: the limit and Mahlo axioms – Gerhard Jäger, Thomas Studer
23 The proof-theoretic analysis of transfinitely iterated fixed point theories, The Journal of Symbolic Logic 64 – G Jäger, R Kahle, A Setzer, T Strahm - 1999
17 Recursion theory and set theory: a marriage of convenience – Solomon Feferman - 1978
15 Induction in the elementary theory of types and names – Gerhard Jäger - 1988
3 inductive fixed-point theories: application to Hancock’s conjecture, The Patras Symposion – Iterated - 1982
2 konstruktible Hierarchie als Hilfsmittel zur beweistheoretischen Untersuchung von Teilsystemen der Mengenlehre und Analysis – Die - 1979
5 Uniform limit in explicit mathematics with universes – Reinhard Kahle - 1997
37 1975]: 'Some systems of second order arithmetic and their use – HARVEY FRIEDMAN
20 Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory – Gerhard Jäger, Thomas Strahm
12 Eine Grenze für die Beweisbarkeit der transfiniten Induktion in der verzweigten Typenlogik, Archiv für Mathematische Logik und Grundlagenforschung 67 – K Schütte - 1964
47 Systems of Predicative Analysis – Solomon Feferman - 1964
5 First order theories for nonmonotone inductive definitions: recursively inaccessible and Mahlo – Gerhard Jäger - 1998
15 Extending Martin-Löf Type Theory by One Mahlo-Universe – Anton Setzer - 1998
23 Proving programs and programming proofs – Michael J Beeson - 1986