Gerhard Jäger

ORCID

Publication Activity (10 Years)

Years Active: 1980-2024
Publications (10 Years): 20

Top Venues

Humboldt University of Berlin, Unter den Linden, Germany (PHD)

Education History

Humboldt University of Berlin, Unter den Linden, Germany

PHD

Publications

Luise Häuser, Gerhard Jäger, Johann-Mattis List, Taraka Rama, Alexandros Stamatakis
Are Sounds Sound for Phylogenetic Reconstruction? SIGTYPE (2024)
Luise Häuser, Gerhard Jäger, Taraka Rama, Johann-Mattis List, Alexandros Stamatakis
Are Sounds Sound for Phylogenetic Reconstruction? CoRR (2024)
Luise Häuser, Gerhard Jäger, Alexandros Stamatakis
Computational Approaches for Integrating out Subjectivity in Cognate Synonym Selection. CoRR (2024)
Gerhard Jäger, Michael Rathjen
Admissible extensions of subtheories of second order arithmetic. Ann. Pure Appl. Log. 175 (7) (2024)
Gerhard Jäger
Short note: Least fixed points versus least closed points. Arch. Math. Log. 60 (7) (2021)
Gerhard Jäger, Johannes Wahle
Phylogenetic typology. CoRR (2021)
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, Gerhard Jäger
NorthEuraLex: a wide-coverage lexical database of Northern Eurasia. Lang. Resour. Evaluation 54 (1) (2020)
Bahareh Afshari, Gerhard Jäger, Graham E. Leigh
An Infinitary Treatment of Full Mu-Calculus. WoLLIC (2019)
Gerhard Jäger, Timotej Rosebrock, Sato Kentaro
Truncation and Semi-Decidability Notions in Applicative Theories. J. Symb. Log. 83 (3) (2018)
Gerhard Jäger
Computational Historical Linguistics. CoRR (2018)
Gerhard Jäger, Silvia Steila
About some fixed Point Axioms and Related Principles in Kripke-Platek Environments. J. Symb. Log. 83 (2) (2018)
Gerhard Jäger
Global-scale phylogenetic linguistic inference from lexical resources. CoRR (2018)
Taraka Rama, Johann-Mattis List, Johannes Wahle, Gerhard Jäger
Are Automatic Methods for Cognate Detection Good Enough for Phylogenetic Reconstruction in Historical Linguistics? NAACL-HLT (2) (2018)
Taraka Rama, Johann-Mattis List, Johannes Wahle, Gerhard Jäger
Are Automatic Methods for Cognate Detection Good Enough for Phylogenetic Reconstruction in Historical Linguistics? CoRR (2018)
Taraka Rama, Johannes Wahle, Pavel Sofroniev, Gerhard Jäger
Fast and unsupervised methods for multilingual cognate clustering. CoRR (2017)
Gerhard Jäger, Johann-Mattis List, Pavel Sofroniev
Using support vector machines and state-of-the-art algorithms for phonetic alignment to identify cognates in multi-lingual wordlists. EACL (1) (2017)
Gerhard Jäger, Michel Marti
Intuitionistic common knowledge or belief. J. Appl. Log. 18 (2016)
Gerhard Jäger
Relativizing Operational Set Theory. Bull. Symb. Log. 22 (3) (2016)
Gerhard Jäger, Pavel Sofroniev
Automatic cognate classification with a Support Vector Machine. KONVENS (2016)
Gerhard Jäger, Michel Marti
A canonical model construction for intuitionistic distributed knowledge. Advances in Modal Logic (2016)
Gerhard Jäger, Rico Zumbrunnen
Explicit Mathematics and Operational Set Theory: some Ontological comparisons. Bull. Symb. Log. 20 (3) (2014)
Gerhard Jäger
Operational closure and stability. Ann. Pure Appl. Log. 164 (7-8) (2013)
Judith Degen, Michael Franke, Gerhard Jäger
Cost-Based Pragmatic Inference about Referential Expressions. CogSci (2013)
Gerhard Jäger
Using Statistics for Cross-linguistic Semantics: A Quantitative Investigation of the Typology of Colour Naming Systems. J. Semant. 29 (4) (2012)
Michael Franke, Gerhard Jäger
Bidirectional Optimization from Reasoning and Learning in Games. J. Log. Lang. Inf. 21 (1) (2012)
Gerhard Jäger
Power Laws and Other heavy-Tailed Distributions in Linguistic Typology. Adv. Complex Syst. 15 (3-4) (2012)
Gerhard Jäger, Lars P. Metzger, Frank Riedel
Voronoi languages: Equilibria in cheap-talk games with high-dimensional types and few signals. Games Econ. Behav. 73 (2) (2011)
Monica Tamariz, Tao Gong, Gerhard Jäger
Investigating the effects of prestige on the diffusion of linguistic variants. CogSci (2011)
Gerhard Jäger, Thomas Studer
A Buchholz Rule for Modal Fixed Point Logics. Logica Universalis 5 (1) (2011)
Gerhard Jäger, Dieter Probst
The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories. Ann. Pure Appl. Log. 162 (8) (2011)
Michael Franke, Gerhard Jäger, Robert van Rooij
Vagueness, Signaling and Bounded Rationality. JSAI-isAI Workshops (2010)
Gerhard Jäger
Natural Color Categories Are Convex Sets. Amsterdam Colloquium on Logic, Language and Meaning (2009)
Gerhard Jäger
Full operational set theory with unbounded existential quantification and power set. Ann. Pure Appl. Log. 160 (1) (2009)
Vasco Brattka, Gerhard Jäger, Hans-Peter A. Künzi
Preface. J. Log. Algebraic Methods Program. 76 (2) (2008)
Gerhard Jäger, Mathis Kretz, Thomas Studer
Canonical completeness of infinitary mu. J. Log. Algebraic Methods Program. 76 (2) (2008)
Gerhard Jäger
Applications of Game Theory in Linguistics. Lang. Linguistics Compass 2 (3) (2008)
Gerhard Jäger
On Feferman's operational set theory OST. Ann. Pure Appl. Log. 150 (1-3) (2007)
Gerhard Jäger, Mathis Kretz, Thomas Studer
Cut-free common knowledge. J. Appl. Log. 5 (4) (2007)
Gerhard Jäger, Robert van Rooij
Language structure: psychological and social constraints. Synth. 159 (1) (2007)
Gerhard Jäger, Dieter Probst
Corrigendum to "Variation on a theme of Schütte". Math. Log. Q. 51 (6) (2005)
Luca Alberucci, Gerhard Jäger
About cut elimination for logics of common knowledge. Ann. Pure Appl. Log. 133 (1-3) (2005)
Gerhard Jäger, Thomas Strahm
Reflections on reflections in explicit mathematics. Ann. Pure Appl. Log. 136 (1-2) (2005)
Gerhard Jäger, Dieter Probst
Variation on a theme of Schütte. Math. Log. Q. 50 (3) (2004)
Gerhard Jäger
Residuation, Structural Rules and Context Freeness. J. Log. Lang. Inf. 13 (1) (2004)
Gerhard Jäger
An intensional fixed point theory over first order arithmetic. Ann. Pure Appl. Log. 128 (1-3) (2004)
Gerhard Jäger
Recursion by optimization: on the complexity of bidirectional optimality theory. Nat. Lang. Eng. 9 (1) (2003)
Gerhard Jäger
Residuation, Structural Rules and Context Freeness. TAG+ (2002)
Gerhard Jäger, Thomas Studer
of explicit mathematics: the limit and Mahlo axioms. Ann. Pure Appl. Log. 114 (1-3) (2002)
Gerhard Jäger
Some Notes on the Formal Properties of Bidirectional Optimality Theory. J. Log. Lang. Inf. 11 (4) (2002)
Gerhard Jäger
First Order Theories for Nonmonotone Inductive Definitions: Recursively Inaccessible and Mahlo. J. Symb. Log. 66 (3) (2001)
Gerhard Jäger, Thomas Strahm
Upper Bounds for Metapredicative Mahlo in Explicit Mathematics and Admissible Set Theory. J. Symb. Log. 66 (2) (2001)
Gerhard Jäger
Lambek Grammars as Combinatory Categorial Grammars. Log. J. IGPL 9 (6) (2001)
Gerhard Jäger, Reinhard Kahle, Thomas Studer
Universes in explicit mathematics. Ann. Pure Appl. Log. 109 (3) (2001)
Gerhard Jäger
Topic‐Comment Structure and the Contrast Between Stage Level and Individual Level Predicates. J. Semant. 18 (2) (2001)
Gerhard Jäger, Thomas Strahm
Fixed point theories and dependent choice. Arch. Math. Log. 39 (7) (2000)
Gerhard Jäger, Thomas Strahm
Bar Induction and omega Model Reflection. Ann. Pure Appl. Log. 97 (1-3) (1999)
Gerhard Jäger, Reinhard Kahle, Anton Setzer, Thomas Strahm
The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories. J. Symb. Log. 64 (1) (1999)
Gerhard Jäger, Wolfram Pohlers, Stanley S. Wainer
Editorial Logic Colloquium '95, Haifa, Israel. Arch. Math. Log. 37 (5-6) (1998)
Gerhard Jäger
Anaphora and Quantification in Categorial Grammar. LACL (1998)
Gerhard Jäger
Power Types in Explicit Mathematics. J. Symb. Log. 62 (4) (1997)
Gerhard Jäger, Thomas Strahm
. J. Symb. Log. 61 (3) (1996)
Alain Heuerding, Gerhard Jäger, Michael Schwendimann, Michael Seyfried
A Logics Workbench. AI Commun. 9 (2) (1996)
Solomon Feferman, Gerhard Jäger
Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part II. Ann. Pure Appl. Log. 79 (1) (1996)
Alain Heuerding, Gerhard Jäger, Stefan Schwendimann, Michael Seyfried
Propositional Logics on the Computer. TABLEAUX (1995)
Sergei N. Artëmov, George Boolos, Erwin Engeler, Solomon Feferman, Gerhard Jäger, Albert Visser
Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994. Ann. Pure Appl. Log. 75 (1-2) (1995)
Gerhard Jäger, Thomas Strahm
Second order theories with ordinals and elementary comprehension. Arch. Math. Log. 34 (6) (1995)
Gerhard Jäger, Thomas Strahm
Totality in Applicative Theories. Ann. Pure Appl. Log. 74 (2) (1995)
Brigitte Hösli, Gerhard Jäger
About Some Symmetries of Negation. J. Symb. Log. 59 (2) (1994)
Gerhard Jäger, Robert F. Stärk
The Defining Power of Stratified and Hierarchical Logic Programs. J. Log. Program. 15 (1&2) (1993)
Solomon Feferman, Gerhard Jäger
Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part I. Ann. Pure Appl. Logic 65 (3) (1993)
Gerhard Jäger
Fixed Points in Peano Arithmetic with Ordinals. Ann. Pure Appl. Log. 60 (2) (1993)
Gerhard Jäger, Barbara Primo
About the Proof-Theoretic Ordinals of Weak Fixed Point Theories. J. Symb. Log. 57 (3) (1992)
Gerhard Jäger
Between constructive mathematics and PROLOG. Arch. Math. Log. 30 (5-6) (1991)
Gerhard Jäger
Notions of Nonmonotonic Derivability. Nonmonotonic and Inductive Logic (1990)
Gerhard Jäger
Annotations on the Consistency of the Closed World Assumption. J. Log. Program. 8 (3) (1990)
Gerhard Jäger
Proofs as Advanced and Powerful Tool. IFIP Congress (1989)
Gerhard Jäger
Induction in the Elementary Theory of Types and Names. CSL (1987)
Gerhard Jäger
Countable Admissible Ordinals and Dilators. Math. Log. Q. 32 (25-30) (1986)
Gerhard Jäger
A Boundedness Theorem In mathrmID1 (W). J. Symb. Log. 51 (4) (1986)
Gerhard Jäger
Some Contributions to the Logical Analysis of Circumscrition. CADE (1986)
Gerhard Jäger
Some proof-theoretic contributions to theories of sets. Logic Colloquium (1985)
Gerhard Jäger
-inaccessible ordinals, collapsing functions and a recursive notation system. Arch. Math. Log. 24 (1) (1984)
Gerhard Jäger
A Version of Kripke-Platek Set Theory which is Conservative over Peano Arithmetic. Math. Log. Q. 30 (1-6) (1984)
Gerhard Jäger
The Strength of Admissibility Without Foundation. J. Symb. Log. 49 (3) (1984)
Gerhard Jäger
. Arch. Math. Log. 23 (1) (1983)
Solomon Feferman, Gerhard Jäger
Choice Principles, the Bar Rule and Autonomously Iterated Comprehension Schemes in Analysis. J. Symb. Log. 48 (1) (1983)
Gerhard Jäger
. Arch. Math. Log. 20 (1-2) (1980)
Gerhard Jäger
Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen. Arch. Math. Log. 22 (3-4) (1980)

Gerhard Jäger.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gerhard Jäger