Jäger, Gerhard

Up a level
Export as [feed] RSS
Group by: Date | Item Type | Refereed | No Grouping
Jump to: 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007

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; 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

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

Provide Feedback