Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Jäger, Gerhard
Kahle, Reinhard
and
Studer, Thomas
2001.
Universes in explicit mathematics.
Annals of Pure and Applied Logic,
Vol. 109,
Issue. 3,
p.
141.
Rüede, Christian
2003.
The proof-theoretic analysis of Σ11 transfinite dependent choice.
Annals of Pure and Applied Logic,
Vol. 122,
Issue. 1-3,
p.
195.
Kahle, Reinhard
2003.
Universes over Frege structures.
Annals of Pure and Applied Logic,
Vol. 119,
Issue. 1-3,
p.
191.
Tupailo, Sergei
2003.
Realization of constructive set theory into explicit mathematics: a lower bound for impredicative Mahlo universe.
Annals of Pure and Applied Logic,
Vol. 120,
Issue. 1-3,
p.
165.
Jäger, Gerhard
and
Probst, Dieter
2004.
Variation on a theme of Schütte.
Mathematical Logic Quarterly,
Vol. 50,
Issue. 3,
p.
258.
Jäger, Gerhard
and
Strahm, Thomas
2005.
Reflections on reflections in explicit mathematics.
Annals of Pure and Applied Logic,
Vol. 136,
Issue. 1-2,
p.
116.
Probst, Dieter
2005.
On the relationship between fixed points and iteration in admissible set theory without foundation.
Archive for Mathematical Logic,
Vol. 44,
Issue. 5,
p.
561.
Jäger, Gerhard
2007.
On Feferman’s operational set theory OST.
Annals of Pure and Applied Logic,
Vol. 150,
Issue. 1-3,
p.
19.
Jäger, Gerhard
2009.
Full operational set theory with unbounded existential quantification and power set.
Annals of Pure and Applied Logic,
Vol. 160,
Issue. 1,
p.
33.
Probst, D.
2011.
The provably terminating operations of the subsystem PETJ of explicit mathematics.
Annals of Pure and Applied Logic,
Vol. 162,
Issue. 11,
p.
934.
Jäger, Gerhard
and
Probst, Dieter
2011.
The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories.
Annals of Pure and Applied Logic,
Vol. 162,
Issue. 8,
p.
647.
JÄGER, GERHARD
and
ZUMBRUNNEN, RICO
2014.
EXPLICIT MATHEMATICS AND OPERATIONAL SET THEORY: SOME ONTOLOGICAL COMPARISONS.
The Bulletin of Symbolic Logic,
Vol. 20,
Issue. 3,
p.
275.
Jäger, Gerhard
and
Probst, Dieter
2015.
Gentzen's Centenary.
p.
425.
SATO, Kentaro
2015.
A new model construction by making a detour via intuitionistic theories II: Interpretability lower bound of Feferman's explicit mathematics T0.
Annals of Pure and Applied Logic,
Vol. 166,
Issue. 7-8,
p.
800.
SATO, Kentaro
and
Zumbrunnen, Rico
2015.
A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π1-equivalent to KP.
Annals of Pure and Applied Logic,
Vol. 166,
Issue. 2,
p.
121.
Jäger, Gerhard
2017.
Logic Colloquium 2000.
p.
272.
Jäger, Gerhard
2017.
Feferman on Foundations.
Vol. 13,
Issue. ,
p.
253.
Rathjen, Michael
2017.
Feferman on Foundations.
Vol. 13,
Issue. ,
p.
385.
Arai, Toshiyasu
2020.
Ordinal Analysis with an Introduction to Proof Theory.
p.
175.
Dybjer, Peter
and
Setzer, Anton
2024.
The extended predicative Mahlo universe in Martin-Löf type theory.
Journal of Logic and Computation,
Vol. 34,
Issue. 6,
p.
1032.