
Prof. em. Dr. Gerhard Jäger
Logic and Theory Group
- gerhard.jaeger@unibe.ch
- private website
- sites.google.com/view/gerhardjaeger
Publications
For technical reasons, the list below contains primary recent publications.
For older publications please visit this link.
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