Publications

Export 60 results:
Filters: Author is Gerhard Jäger  [Clear All Filters]
In Press
: Truncation and Semi-Decidability Notions in Applicative Theories. The Journal of Symbolic Logic. (In Press).
2018
: About some fixed point axioms and related principles in Kripke-Platek environments. The Journal of Symbolic Logic. 83, 642-668 (2018).
Jäger, G.: The Operational Penumbra: Some Ontological Aspects. Feferman on Foundations - Logic, Mathematics, Philosophy. Springer International Publishing (2018).
Strahm, T.: Unfolding schematic systems. In: Feferman on Foundations - Logic, Mathematics, Philosophy. Springer (2018).
2017
: Feferman on Foundations: Logic, Mathematics, Philosophy. Springer International Publishing (2017).
: The Strength of the SCT Criterion. In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings. pp. 260-273 (2017).
: Theory and Applications of Models of Computation TAMC 2017. Springer International Publishing, Cham (2017).
2016
: A canonical model construction for intuitionistic distributed knowledge. In: Advances in Modal Logic 2016. College Publications (2016).
: Intuitionistic common knowledge or belief. Journal of Applied Logic. 18, (2016).
Jäger, G.: Relativizing operational set theory. The Bulletin of Symbolic Logic. 22, 332-352 (2016).
: Theories of proof-theoretic strength $\psi$($\Gamma_{\Omega+1}$). In: Concepts of Proof in Mathematics, Philosophy, and Computer Science. De Gruyter (2016).
2015
: A proof-theoretic analysis of theories for stratified inductive definitions. In: Gentzen's Centenary: The Quest for Consistency. Springer (2015).
2014
: Explicit mathematics and operational set theory: some ontological comparisons. The Bulletin of Symbolic Logic. 20, 275-292 (2014).
2013
Jäger, G.: Operational closure and stability. Annals of Pure and Applied Logic. 164, 813-821 (2013).
2012
: About the Strength of Operational Regularity. In: Logic, Construction, Computation. pp. 305-324. Ontos Verlag (2012).
2011
: A Buchholz rule for modal fixed point logics. Logica Universalis. 5, 1-19 (2011).
: The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories. Annals of Pure and Applied logic. 162, 647-660 (2011).
2010
Jäger, G.: Modal Fixed Point Logics. In: Logics and Languages for Reliability and Security. IOS Press (2010).
: $Σ^1_1$ choice in a theory of sets and classes. In: Schindler, R. Ways of Proof Theory. pp. 283-314. Ontos Verlag (2010).
2009
Jäger, G.: Full operational set theory with unbounded existential quantification and power set. Annals of Pure and Applied Logic. 160, 33-52 (2009).
Jäger, G.: Operations, sets and classes. In: Logic, Methodology and Philosophy of Science - Proceedings of the Thirteenth International Congress. College Publications (2009).
2008
: Canonical completeness of infinitary mu. Journal of Logic and Algebraic Programming. 76, 270-292 (2008).
2007
: Cut-free common knowledge. Journal of Applied Logic. 5, 681-689 (2007).
Jäger, G.: On Feferman's operational set theory $\mathsf{OST}$. Annals of Pure and Applied Logic. 150, 19-39 (2007).