Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen. - Gerhard Jäger (Arch. Math. Log., 1980)

Beweistheorie vonKPN. - Gerhard Jäger (Arch. Math. Log., 1980)

A well-ordering proof for Feferman's theoryT0. - Gerhard Jäger (Arch. Math. Log., 1983)

Choice Principles, the Bar Rule and Autonomously Iterated Comprehension Schemes in Analysis. - Solomon Feferman; Gerhard Jäger (J. Symb. Log., 1983)

ϱ-inaccessible ordinals, collapsing functions and a recursive notation system. - Gerhard Jäger (Arch. Math. Log., 1984)

The Strength of Admissibility Without Foundation. - Gerhard Jäger (J. Symb. Log., 1984)

A Version of Kripke-Platek Set Theory which is Conservative over Peano Arithmetic. - Gerhard Jäger (Math. Log. Q., 1984)

Some proof-theoretic contributions to theories of sets. - Gerhard Jäger (Logic Colloquium, 1985)

Some Contributions to the Logical Analysis of Circumscrition. - Gerhard Jäger (CADE, 1986)

A Boundedness Theorem In mathrmID1 (W). - Gerhard Jäger (J. Symb. Log., 1986)

Countable Admissible Ordinals and Dilators. - Gerhard Jäger (Math. Log. Q., 1986)

Induction in the Elementary Theory of Types and Names. - Gerhard Jäger (CSL, 1987)

Proofs as Advanced and Powerful Tool. - Gerhard Jäger (IFIP Congress, 1989)

Notions of Nonmonotonic Derivability. - Gerhard Jäger (Nonmonotonic and Inductive Logic, 1990)

Annotations on the Consistency of the Closed World Assumption. - Gerhard Jäger (J. Log. Program., 1990)

Between constructive mathematics and PROLOG. - Gerhard Jäger (Arch. Math. Log., 1991)

About the Proof-Theoretic Ordinals of Weak Fixed Point Theories. - Gerhard Jäger; Barbara Primo (J. Symb. Log., 1992)

Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part I. - Solomon Feferman; Gerhard Jäger (Ann. Pure Appl. Logic, 1993)

Fixed Points in Peano Arithmetic with Ordinals. - Gerhard Jäger (Ann. Pure Appl. Log., 1993)

The Defining Power of Stratified and Hierarchical Logic Programs. - Gerhard Jäger; Robert F. Stärk (J. Log. Program., 1993)

About Some Symmetries of Negation. - Brigitte Hösli; Gerhard Jäger (J. Symb. Log., 1994)

Propositional Logics on the Computer. - Alain Heuerding; Gerhard Jäger; Stefan Schwendimann; Michael Seyfried (TABLEAUX, 1995)

Second order theories with ordinals and elementary comprehension. - Gerhard Jäger; Thomas Strahm (Arch. Math. Log., 1995)

Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994. - Sergei N. Artëmov; George Boolos; Erwin Engeler; Solomon Feferman; Gerhard Jäger; Albert Visser (Ann. Pure Appl. Log., 1995)

Totality in Applicative Theories. - Gerhard Jäger; Thomas Strahm (Ann. Pure Appl. Log., 1995)

A Logics Workbench. - Alain Heuerding; Gerhard Jäger; Michael Schwendimann; Michael Seyfried (AI Commun., 1996)

Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part II. - Solomon Feferman; Gerhard Jäger (Ann. Pure Appl. Log., 1996)

Some Theories with Positive Induction of Ordinal Strength phi omega 0. - Gerhard Jäger; Thomas Strahm (J. Symb. Log., 1996)

Topics in dynamic semantics. - Gerhard Jäger (CIS, 1996)

Power Types in Explicit Mathematics. - Gerhard Jäger (J. Symb. Log., 1997)

Anaphora and Quantification in Categorial Grammar. - Gerhard Jäger (LACL, 1998)

Editorial Logic Colloquium '95, Haifa, Israel. - Gerhard Jäger; Wolfram Pohlers; Stanley S. Wainer (Arch. Math. Log., 1998)

Bar Induction and omega Model Reflection. - Gerhard Jäger; Thomas Strahm (Ann. Pure Appl. Log., 1999)

The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories. - Gerhard Jäger; Reinhard Kahle; Anton Setzer; Thomas Strahm (J. Symb. Log., 1999)

Fixed point theories and dependent choice. - Gerhard Jäger; Thomas Strahm (Arch. Math. Log., 2000)

Universes in explicit mathematics. - Gerhard Jäger; Reinhard Kahle; Thomas Studer (Ann. Pure Appl. Log., 2001)

Lambek Grammars as Combinatory Categorial Grammars. - Gerhard Jäger (Log. J. IGPL, 2001)

Topic‐Comment Structure and the Contrast Between Stage Level and Individual Level Predicates. - Gerhard Jäger (J. Semant., 2001)

First Order Theories for Nonmonotone Inductive Definitions: Recursively Inaccessible and Mahlo. - Gerhard Jäger (J. Symb. Log., 2001)

Upper Bounds for Metapredicative Mahlo in Explicit Mathematics and Admissible Set Theory. - Gerhard Jäger; Thomas Strahm (J. Symb. Log., 2001)

Extending the system T0 of explicit mathematics: the limit and Mahlo axioms. - Gerhard Jäger; Thomas Studer (Ann. Pure Appl. Log., 2002)

Some Notes on the Formal Properties of Bidirectional Optimality Theory. - Gerhard Jäger (J. Log. Lang. Inf., 2002)

Recursion by optimization: on the complexity of bidirectional optimality theory. - Gerhard Jäger (Nat. Lang. Eng., 2003)

An intensional fixed point theory over first order arithmetic. - Gerhard Jäger (Ann. Pure Appl. Log., 2004)

Residuation, Structural Rules and Context Freeness. - Gerhard Jäger (J. Log. Lang. Inf., 2004)

Variation on a theme of Schütte. - Gerhard Jäger; Dieter Probst (Math. Log. Q., 2004)

About cut elimination for logics of common knowledge. - Luca Alberucci; Gerhard Jäger (Ann. Pure Appl. Log., 2005)

Reflections on reflections in explicit mathematics. - Gerhard Jäger; Thomas Strahm (Ann. Pure Appl. Log., 2005)

Corrigendum to "Variation on a theme of Schütte". - Gerhard Jäger; Dieter Probst (Math. Log. Q., 2005)

On Feferman's operational set theory OST. - Gerhard Jäger (Ann. Pure Appl. Log., 2007)

Cut-free common knowledge. - Gerhard Jäger; Mathis Kretz; Thomas Studer (J. Appl. Log., 2007)

Language structure: psychological and social constraints. - Gerhard Jäger; Robert van Rooij (Synth., 2007)

Preface. - Vasco Brattka; Gerhard Jäger; Hans-Peter A. Künzi (J. Log. Algebraic Methods Program., 2008)

Canonical completeness of infinitary mu. - Gerhard Jäger; Mathis Kretz; Thomas Studer (J. Log. Algebraic Methods Program., 2008)

Applications of Game Theory in Linguistics. - Gerhard Jäger (Lang. Linguistics Compass, 2008)

Natural Color Categories Are Convex Sets. - Gerhard Jäger (Amsterdam Colloquium on Logic, Language and Meaning, 2009)

Full operational set theory with unbounded existential quantification and power set. - Gerhard Jäger (Ann. Pure Appl. Log., 2009)

Vagueness, Signaling and Bounded Rationality. - Michael Franke; Gerhard Jäger; Robert van Rooij (JSAI-isAI Workshops, 2010)

Modal Fixed Point Logics. - Gerhard Jäger (Logics and Languages for Reliability and Security, 2010)

Investigating the effects of prestige on the diffusion of linguistic variants. - Monica Tamariz; Tao Gong; Gerhard Jäger (CogSci, 2011)

The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories. - Gerhard Jäger; Dieter Probst (Ann. Pure Appl. Log., 2011)

Voronoi languages: Equilibria in cheap-talk games with high-dimensional types and few signals. - Gerhard Jäger; Lars P. Metzger; Frank Riedel (Games Econ. Behav., 2011)

A Buchholz Rule for Modal Fixed Point Logics. - Gerhard Jäger; Thomas Studer (Logica Universalis, 2011)

Language, Games, and Evolution: An Introduction. - Anton Benz; Christian Ebert; Gerhard Jäger; Robert van Rooij (Language, Games, and Evolution, 2011)

Power Laws and Other heavy-Tailed Distributions in Linguistic Typology. - Gerhard Jäger (Adv. Complex Syst., 2012)

Bidirectional Optimization from Reasoning and Learning in Games. - Michael Franke; Gerhard Jäger (J. Log. Lang. Inf., 2012)

Using Statistics for Cross-linguistic Semantics: A Quantitative Investigation of the Typology of Colour Naming Systems. - Gerhard Jäger (J. Semant., 2012)

Cost-Based Pragmatic Inference about Referential Expressions. - Judith Degen; Michael Franke; Gerhard Jäger (CogSci, 2013)

Operational closure and stability. - Gerhard Jäger (Ann. Pure Appl. Log., 2013)

Explicit Mathematics and Operational Set Theory: some Ontological comparisons. - Gerhard Jäger; Rico Zumbrunnen (Bull. Symb. Log., 2014)

A canonical model construction for intuitionistic distributed knowledge. - Gerhard Jäger; Michel Marti (Advances in Modal Logic, 2016)

Automatic cognate classification with a Support Vector Machine. - Gerhard Jäger; Pavel Sofroniev (KONVENS, 2016)

Relativizing Operational Set Theory. - Gerhard Jäger (Bull. Symb. Log., 2016)

Intuitionistic common knowledge or belief. - Gerhard Jäger; Michel Marti (J. Appl. Log., 2016)

Using support vector machines and state-of-the-art algorithms for phonetic alignment to identify cognates in multi-lingual wordlists. - Gerhard Jäger; Johann-Mattis List; Pavel Sofroniev (EACL (1), 2017)

Fast and unsupervised methods for multilingual cognate clustering. - Taraka Rama; Johannes Wahle; Pavel Sofroniev; Gerhard Jäger (CoRR, 2017)

Are Automatic Methods for Cognate Detection Good Enough for Phylogenetic Reconstruction in Historical Linguistics? - Taraka Rama; Johann-Mattis List; Johannes Wahle; Gerhard Jäger (NAACL-HLT (2), 2018)

Global-scale phylogenetic linguistic inference from lexical resources. - Gerhard Jäger (CoRR, 2018)

Computational Historical Linguistics. - Gerhard Jäger (CoRR, 2018)

Truncation and Semi-Decidability Notions in Applicative Theories. - Gerhard Jäger; Timotej Rosebrock; Sato Kentaro (J. Symb. Log., 2018)

About some fixed Point Axioms and Related Principles in Kripke-Platek Environments. - Gerhard Jäger; Silvia Steila (J. Symb. Log., 2018)

An Infinitary Treatment of Full Mu-Calculus. - Bahareh Afshari; Gerhard Jäger; Graham E. Leigh (WoLLIC, 2019)

NorthEuraLex: a wide-coverage lexical database of Northern Eurasia. - Johannes Dellert; Thora Daneyko; Alla Münch; Alina Ladygina; Armin Buch; Natalie Clarius; Ilja Grigorjew; Mohamed Balabel; Hizniye Isabella Boga; Zalina Baysarova; Roland Mühlenbernd; Johannes Wahle; et al. (Lang. Resour. Evaluation, 2020)

Short note: Least fixed points versus least closed points. - Gerhard Jäger (Arch. Math. Log., 2021)

Phylogenetic typology. - Gerhard Jäger; Johannes Wahle (CoRR, 2021)

Are Sounds Sound for Phylogenetic Reconstruction? - Luise Häuser; Gerhard Jäger; Johann-Mattis List; Taraka Rama; Alexandros Stamatakis (SIGTYPE, 2024)

Admissible extensions of subtheories of second order arithmetic. - Gerhard Jäger; Michael Rathjen (Ann. Pure Appl. Log., 2024)

Computational Approaches for Integrating out Subjectivity in Cognate Synonym Selection. - Luise Häuser; Gerhard Jäger; Alexandros Stamatakis (CoRR, 2024)

Tame and full strict-Π11 reflection: A proof-theoretic approach. - Gerhard Jäger (J. Log. Comput., 2024)

Computational Typology. - Gerhard Jäger (CoRR, 2025)

Beyond cognacy. - Gerhard Jäger (CoRR, 2025)