2023
Jäger, Gerhard
(2023).
Identity, Equality, and Extensionality in Explicit Mathematics.
In:
Bridges, Douglas; Ishihara, Hajime; Rathjen, Michael; Schwichtenberg, Helmut
(eds.)
Handbook of Constructive Mathematics. Encyclopedia of Mathematics and its Applications (pp. 564-583).
Cambridge University Press
10.1017/9781009039888.022
2022
Jäger, Gerhard
(2022).
Stage comparison, fixed points, and least fixed points in Kripke–Platek environments.
Notre Dame journal of formal logic, 63(4), pp. 443-461.
Duke University Press
10.1215/00294527-2022-0025
Jäger, Gerhard
(2022).
Simplified cut elimination for Kripke-Platek set theory.
In:
Ferreira, Fernando; Kahle, Reinhard; Sommaruga, Giovanni
(eds.)
Axiomatic Thinking II (pp. 9-34).
Springer
10.1007/978-3-030-77799-9_2
2021
Jäger, Gerhard
(2021).
Short note: Least fixed points versus least closed points.
Archive for mathematical logic, 60(7-8), pp. 831-835.
Springer-Verlag
10.1007/s00153-021-00761-y
2020
Bärtschi, Michael; Jäger, Gerhard Max
(2020).
Having a look again at some theories of proof-theoretic strengths around Γ₀.
In:
Kahle, Reinhard; Rathjen, Michael
(eds.)
The Legacy of Kurt Schütte (pp. 103-128).
Cham: Springer
10.1007/978-3-030-49424-7_9
2019
Afshari, Bahareh; Jäger, Gerhard Max; Leigh, Graham E.
(July 2019).
An Infinitary Treatment of Full Mu-Calculus.
Lecture notes in computer science, 11541, pp. 17-34. Springer
10.1007/978-3-662-59533-6_2
Jaun, Lukas
(2019).
Category Theory in Explicit Mathematics.
(Dissertation, Institute of Computer Science, Philosophisch-naturwissenschaftliche Fakultät, Universität Bern)
Jäger, Gerhard; Steila, Silvia
(2019).
From Mathesis Universalis to fixed points and related set-theoretic concepts.
In:
Centrone, Stefania; Negri, Sara; Sarikaya, Deniz; Schuster, Peter M.
(eds.)
Mathesis Universalis, Computability and Proof, Synthese Library. Studies in Epistemology, Logic, Methodology, and Philosophy of Science: Vol. 412 (pp. 113-129).
Cham: Springer
10.1007/978-3-030-20447-1_9
2018
Jäger, Gerhard; Steila, Silvia
(2018).
About some fixed point axioms and related principles in Kripke-Platek environments.
The journal of symbolic logic, 83(02), pp. 642-668.
Cambridge University Press
10.1017/jsl.2018.12
Rosebrock, Timotej Alexander
(2018).
Some Models and Semi-decidability Notions of Applicative Theories (Unpublished).
(Dissertation, Institut für Informatik und angewandte Mathematik, Philosophisch-naturwissenschaftliche Fakultät)
Jäger, Gerhard; Rosebrock, Timotej Alexander; Sato, Kentaro
(2018).
Truncation and Semi-Decidability Notions in Applicative Theories.
The journal of symbolic logic, 83(03), pp. 967-990.
Cambridge University Press
10.1017/jsl.2018.34
2017
Marti, Michel
(2017).
Contributions to Intuitionistic Epistemic Logic.
(Dissertation, Institute of Computer Science, Philosophisch-naturwissenschaftliche Fakultät, Universität Bern)
Gopal, T.V.; Jäger, Gerhard; Steila, Silvia
(eds.)
(2017).
Theory and Applications of Models of Computation TAMC 2017.
Lecture Notes in Computer Science: Vol. 10185.
Cham: Springer International Publishing
10.1007/978-3-319-55911-7
Jäger, Gerhard; Sieg, Wilfried
(eds.)
(2017).
Feferman on Foundations - Logic, Mathematics, Philosophy.
Outstanding Contributions to Logic: Vol. 13.
Cham: Springer International Publishing
10.1007/978-3-319-63334-3
Jäger, Gerhard
(2017).
The Operational Penumbra: Some Ontological Aspects.
In:
Feferman on Foundations 13 (pp. 253-283).
Cham: Springer International Publishing
10.1007/978-3-319-63334-3_10
2016
Jäger, Gerhard
(2016).
Relativizing operational set theory.
The Bulletin of Symbolic Logic, 22(03), pp. 332-352.
Cambridge University Press
10.1017/bsl.2016.11
Buchholtz, Ulrik Torben; Jäger, Gerhard; Strahm, Thomas Adrian
(2016).
Theories of proof-theoretic strength ψ(ΓΩ+1).
In:
Probst, Dieter; Schuster, Peter
(eds.)
Concepts of Proof in Mathematics, Philosophy, and ComputerScience. Ontos Mathematical Logic: Vol. 6 (pp. 115-140).
De Gruyter
10.1515/9781501502620-007
Jäger, Gerhard; Marti, Michel
(2016).
Intuitionistic common knowledge or belief.
Journal of applied logic, 18, pp. 150-163.
Elsevier
10.1016/j.jal.2016.04.004
Jäger, Gerhard; Marti, Michel
(2016).
A canonical model construction for intuitionistic distributed knowledge.
In:
Beklemishev, Lev; Demri, Stéphane; Máté, András
(eds.)
Advances in Modal Logic. Advances in Modal Logic 2016: Vol. 11 (pp. 420-434).
College Publications
2015
Ranzi, Florian
(2015).
From a Flexible Type System to Metapredicative Wellordering Proofs.
(Dissertation, Institut für Informatik und angewandte Mathematik, Philosophisch-naturwissenschaftliche Fakultät)
Jäger, Gerhard; Probst, Dieter
(2015).
A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions.
In:
Kahle, Reinhard; Rathjen, Michael
(eds.)
Gentzen's Centenary - The Quest for Consistency (pp. 425-454).
Springer
10.1007/978-3-319-10103-3_15
2014
Jäger, Gerhard; Zumbrunnen, Rico
(2014).
Explicit mathematics and operational set theory: some ontological comparisons.
The Bulletin of Symbolic Logic, 20(03), pp. 275-292.
Cambridge University Press
10.1017/bsl.2014.21
2013
Jäger, Gerhard
(2013).
Operational closure and stability.
Annals of pure and applied logic, 164(7-8), pp. 813-821.
Elsevier
10.1016/j.apal.2013.01.004
2012
Jäger, Gerhard; Zumbrunnen, Rico
(2012).
About the Strength of Operational Regularity.
In:
Berger, Ulrich; Diener, Hannes; Schuster, Peter
(eds.)
Logic, Construction, Computation (pp. 305-324).
Heusenstamm bei Frankfurt: Ontos
2011
Jäger, Gerhard; Studer, Thomas
(2011).
A Buchholz rule for modal fixed point logics.
Logica universalis, 5(1), pp. 1-19.
Basel: Birkhäuser
10.1007/s11787-010-0022-1
Jäger, Gerhard; Probst, Dieter
(2011).
The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories.
Annals of pure and applied logic, 162(8), pp. 647-660.
Amsterdam: Elsevier
10.1016/j.apal.2011.01.009
2010
Jäger, Gerhard; Krähenbühl, Jürg
(2010).
Choice in a Theory of sets and classes.
In:
Schindler, Ralf
(ed.)
Ways of Proof Theory. Ontos mathematical logic: Vol. 2 (pp. 283-314).
Heusenstamm bei Frankfurt: Ontos
Jäger, Gerhard
(2010).
Modal Fixed Point Logics.
In:
Esparza, Javier; Spanfelner, Bernd; Grumberg, Orna
(eds.)
Logics and Languages for Reliability and Security. NATO Science for Peace and Security Series. D: Information and Communication Security: Vol. 25 (pp. 129-154).
IOS Press
10.3233/978-1-60750-100-8-129
2009
Jäger, Gerhard
(2009).
Full operational set theory with unbounded existential quantification and power set.
Annals of pure and applied logic, 160(1), pp. 33-52.
Amsterdam: Elsevier
10.1016/j.apal.2009.01.010
Jäger, Gerhard
(2009).
Operations, sets and classes.
In:
13th International Congress of Logic, Methodology and Philosophy of Science (pp. 74-96).
London: College Publications
2008
Jäger, Gerhard; Kretz, Mathis; Studer, Thomas
(2008).
Canonical completeness of infinitary mu.
Journal of logic and algebraic programming, 76(2), pp. 270-292.
New York, N.Y.: North-Holland
10.1016/j.jlap.2008.02.005
2007
Jäger, Gerhard
(2007).
On Feferma's operational set theory.
Annals of pure and applied logic, 150(1-3), pp. 19-39.
Amsterdam: Elsevier
10.1016/j.apal.2007.09.001
Jäger, Gerhard; Kretz, Mathis; Studer, Thomas
(2007).
Cut-free common knowledge.
Journal of applied logic, 5(4), pp. 681-689.
Amsterdam: Elsevier
10.1016/j.jal.2006.02.003
2001
Jäger, Gerhard
(2001).
First order theories for nonmonotone inductive definitions: recursively inaccessible and Mahlo.
The journal of symbolic logic, 66(3), pp. 1073-1089.
Cambridge University Press
10.2307/2695093
Jäger, Gerhard; Strahm, Thomas
(2001).
Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory.
The journal of symbolic logic, 66(2), pp. 935-958.
Cambridge University Press
10.2307/2695054
1999
Jäger, Gerhard Max; Kahle, Reinhard; Setzer, Anton; Strahm, Thomas Adrian
(1999).
The proof-theoretic analysis of transfinitely iterated fixed point theories.
The journal of symbolic logic, 64(01), pp. 53-67.
Cambridge University Press
10.2307/2586750
1997
Jäger, Gerhard
(1997).
Power types in explicit mathematics?
The journal of symbolic logic, 62(4), pp. 1142-1146.
Cambridge University Press
10.2307/2275630
1996
Jäger, Gerhard; Strahm, Thomas
(1996).
Some theories with positive induction of ordinal strength φω0.
The journal of symbolic logic, 61(3), pp. 818-842.
Cambridge University Press
10.2307/2275787
1994
Hösli, Brigitte; Jäger, Gerhard
(1994).
About some symmetries of negation.
The journal of symbolic logic, 59(02), pp. 473-485.
Cambridge University Press
10.2307/2275401
1992
Jäger, Gerhard; Primo, Barbara
(1992).
About the proof-theoretic ordinals of weak fixed point theories.
The journal of symbolic logic, 57(03), pp. 1108-1119.
Cambridge University Press
10.2307/2275451