Institute of Computer Science

Team

Publications

For technical reasons, the list below contains primary recent publications.
For older publications please visit this link.

Jump to: 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2001 | 1999 | 1997 | 1996 | 1994 | 1992

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