Home

Publications

Export 44 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Gerhard Jäger  [Clear All Filters]
Submitted
Jäger, G, Zumbrunnen R.  Submitted.  About the strength of operational regularity.
2011
Jäger, G, Probst D.  2011.  The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories. Annals of Pure and Applied logic. 162(8):647-660.
Jäger, G, Studer T.  2011.  A Buchholz rule for modal fixed point logics. Logica Universalis. 5(1):1-19.
2010
Jäger, G, Krähenbühl J.  2010.  $Σ^1_1$ choice in a theory of sets and classes. Ways of {P}roof {T}heory. :283–314.
Jäger, G.  2010.  Modal Fixed Point Logics. Logics and {L}anguages for {R}eliability and {S}ecurity. 25
2009
Jäger, G.  2009.  Full operational set theory with unbounded existential quantification and power set. Annals of Pure and Applied Logic. 160:33–52.
Jäger, G.  2009.  Operations, sets and classes. Logic, {M}ethodology and {P}hilosophy of {S}cience - {P}roceedings of the {T}hirteenth {I}nternational {C}ongress.
2008
Jäger, G, Kretz M, Studer T.  2008.  Canonical completeness of infinitary mu. Journal of Logic and Algebraic Programming. 76:270-292.
2007
Jäger, G, Kretz M, Studer T.  2007.  Cut-free common knowledge. Journal of Applied Logic. 5:681{–}689.
Jäger, G.  2007.  On Feferman's operational set theory $\mathsfOST$. Annals of Pure and Applied Logic. 150:19{–}39.
2005
Alberucci, L, Jäger G.  2005.  About cut elimination for logics of common knowledge. Annals of Pure and Applied Logic. 133:73{–}99.
Jäger, G, Kretz M, Studer T.  2005.  Cut-free axiomatizations for stratified modal fixed point logic. Proceedings of Methods for Modalities 4. 194:125{–}143.
Jäger, G.  2005.  Metapredicative and explicit Mahlo: a proof-theoretic perspective. Proceedings of Logic Colloquium '00. 19:272{–}293.
Jäger, G, Strahm T.  2005.  Reflections on reflections in explicit mathematics. Annals of Pure and Applied Logic. 136:116{–}133.
2004
Jäger, G, Probst D.  2004.  Iterating $Σ$ operations in admissible set theory without foundation: a further aspect of metapredicative Mahlo. One Hundred Years of Russell's Paradox. Papers from the 2001 Munich Russell Conference. :119{–}134.
Jäger, G.  2004.  An intensional fixed point theory over first order arithmetic. Annals of Pure and Applied Logic. 128:197{–}213.
Jäger, G, Probst D.  2004.  Variation on a theme of Schütte. Mathematical Logic Quarterly. 50:258{–}264.
2002
Jäger, G, Studer T.  2002.  Extending the system $\mathsfT_0$ of explicit mathematics: the limit and Mahlo axioms. Annals of Pure and Applied Logic. 114:79{–}101.
Jäger, G, Strahm T.  2002.  The proof-theoretic analysis of the Suslin operator in applicative theories. Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman. :270{–}292.
2001
Jäger, G.  2001.  First order theories for nonmonotone inductive definitions: recursively inaccessible and Mahlo. The Journal of Symbolic Logic. 66:1073{–}1089.
Jäger, G, Kahle R, Studer T.  2001.  Universes in explicit mathematics. Annals of Pure and Applied Logic. 109:141{–}162.
Jäger, G, Strahm T.  2001.  Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory. The Journal of Symbolic Logic. 66:935{–}958.
2000
Jäger, G, Strahm T.  2000.  Fixed point theories and dependent choice. Archive for Mathematical Logic. 39:493{–}508.
1999
Jäger, G, Strahm T.  1999.  Bar induction and $\omega$ model reflection. Annals of Pure and Applied Logic. 97:221{–}230.
Jäger, G, Kahle R, Strahm T.  1999.  On applicative theories. Logic and Foundations of Mathematics. :83{–}92.