default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGerhard Jäger
Person information
- affiliation: University of Bern, Switzerland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j64]Gerhard Jäger
, Michael Rathjen:
Admissible extensions of subtheories of second order arithmetic. Ann. Pure Appl. Log. 175(7): 103425 (2024)- [j63]Gerhard Jäger:
Tame and full strict-Π11 reflection: A proof-theoretic approach. J. Log. Comput. 34(6): 1082-1107 (2024) - [c18]Luise Häuser, Gerhard Jäger, Johann-Mattis List, Taraka Rama, Alexandros Stamatakis:
Are Sounds Sound for Phylogenetic Reconstruction? SIGTYPE 2024: 78-87 - [i7]Luise Häuser, Gerhard Jäger, Taraka Rama, Johann-Mattis List, Alexandros Stamatakis:
Are Sounds Sound for Phylogenetic Reconstruction? CoRR abs/2402.02807 (2024) - [i6]Luise Häuser, Gerhard Jäger, Alexandros Stamatakis:
Computational Approaches for Integrating out Subjectivity in Cognate Synonym Selection. CoRR abs/2404.19328 (2024) - 2021
- [j62]Gerhard Jäger:
Short note: Least fixed points versus least closed points. Arch. Math. Log. 60(7): 831-835 (2021) - [i5]Gerhard Jäger, Johannes Wahle:
Phylogenetic typology. CoRR abs/2103.10198 (2021) - 2020
- [j61]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): 273-301 (2020)
2010 – 2019
- 2019
- [c17]Bahareh Afshari, Gerhard Jäger, Graham E. Leigh:
An Infinitary Treatment of Full Mu-Calculus. WoLLIC 2019: 17-34 - 2018
- [j60]Gerhard Jäger, Silvia Steila:
About some fixed Point Axioms and Related Principles in Kripke-Platek Environments. J. Symb. Log. 83(2): 642-668 (2018) - [j59]Gerhard Jäger, Timotej Rosebrock, Sato Kentaro:
Truncation and Semi-Decidability Notions in Applicative Theories. J. Symb. Log. 83(3): 967-990 (2018) - [c16]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: 393-400 - [i4]Gerhard Jäger:
Global-scale phylogenetic linguistic inference from lexical resources. CoRR abs/1802.06079 (2018) - [i3]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 abs/1804.05416 (2018) - [i2]Gerhard Jäger:
Computational Historical Linguistics. CoRR abs/1805.08099 (2018) - 2017
- [c15]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: 1205-1216 - [e5]T. V. Gopal, Gerhard Jäger, Silvia Steila:
Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings. Lecture Notes in Computer Science 10185, 2017, ISBN 978-3-319-55910-0 [contents] - [i1]Taraka Rama, Johannes Wahle, Pavel Sofroniev, Gerhard Jäger:
Fast and unsupervised methods for multilingual cognate clustering. CoRR abs/1702.04938 (2017) - 2016
- [j58]Gerhard Jäger:
Relativizing Operational Set Theory. Bull. Symb. Log. 22(3): 332-352 (2016) - [j57]Gerhard Jäger, Michel Marti:
Intuitionistic common knowledge or belief. J. Appl. Log. 18: 150-163 (2016) - [c14]Gerhard Jäger, Michel Marti:
A canonical model construction for intuitionistic distributed knowledge. Advances in Modal Logic 2016: 420-434 - [c13]Gerhard Jäger, Pavel Sofroniev:
Automatic cognate classification with a Support Vector Machine. KONVENS 2016 - 2014
- [j56]Gerhard Jäger, Rico Zumbrunnen:
Explicit Mathematics and Operational Set Theory: some Ontological comparisons. Bull. Symb. Log. 20(3): 275-292 (2014) - 2013
- [j55]Gerhard Jäger:
Operational closure and stability. Ann. Pure Appl. Log. 164(7-8): 813-821 (2013) - [c12]Judith Degen, Michael Franke, Gerhard Jäger:
Cost-Based Pragmatic Inference about Referential Expressions. CogSci 2013 - 2012
- [j54]Gerhard Jäger:
Power Laws and Other heavy-Tailed Distributions in Linguistic Typology. Adv. Complex Syst. 15(3-4) (2012) - [j53]Michael Franke, Gerhard Jäger:
Bidirectional Optimization from Reasoning and Learning in Games. J. Log. Lang. Inf. 21(1): 117-139 (2012) - [j52]Gerhard Jäger:
Using Statistics for Cross-linguistic Semantics: A Quantitative Investigation of the Typology of Colour Naming Systems. J. Semant. 29(4): 521-544 (2012) - 2011
- [j51]Gerhard Jäger, Dieter Probst:
The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories. Ann. Pure Appl. Log. 162(8): 647-660 (2011) - [j50]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): 517-537 (2011) - [j49]Gerhard Jäger, Thomas Studer:
A Buchholz Rule for Modal Fixed Point Logics. Logica Universalis 5(1): 1-19 (2011) - [c11]Monica Tamariz, Tao Gong, Gerhard Jäger:
Investigating the effects of prestige on the diffusion of linguistic variants. CogSci 2011 - [p2]Anton Benz, Christian Ebert, Gerhard Jäger, Robert van Rooij:
Language, Games, and Evolution: An Introduction. Language, Games, and Evolution 2011: 1-13 - [e4]Anton Benz, Christian Ebert, Gerhard Jäger, Robert van Rooij:
Language, Games, and Evolution - Trends in Current Research on Language and Game Theory. Lecture Notes in Computer Science 6207, Springer 2011, ISBN 978-3-642-18005-7 [contents] - 2010
- [c10]Michael Franke, Gerhard Jäger, Robert van Rooij:
Vagueness, Signaling and Bounded Rationality. JSAI-isAI Workshops 2010: 45-59 - [p1]Gerhard Jäger:
Modal Fixed Point Logics. Logics and Languages for Reliability and Security 2010: 129-154 - [e3]Christian Ebert, Gerhard Jäger, Jens Michaelis:
The Mathematics of Language, 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers. Lecture Notes in Computer Science 6149, Springer 2010, ISBN 978-3-642-14321-2 [contents]
2000 – 2009
- 2009
- [j48]Gerhard Jäger:
Full operational set theory with unbounded existential quantification and power set. Ann. Pure Appl. Log. 160(1): 33-52 (2009) - [c9]Gerhard Jäger:
Natural Color Categories Are Convex Sets. Amsterdam Colloquium on Logic, Language and Meaning 2009: 11-20 - 2008
- [j47]Vasco Brattka, Gerhard Jäger, Hans-Peter A. Künzi:
Preface. J. Log. Algebraic Methods Program. 76(2) (2008) - [j46]Gerhard Jäger, Mathis Kretz, Thomas Studer:
Canonical completeness of infinitary mu. J. Log. Algebraic Methods Program. 76(2): 270-292 (2008) - [j45]Gerhard Jäger:
Applications of Game Theory in Linguistics. Lang. Linguistics Compass 2(3): 406-421 (2008) - 2007
- [j44]Gerhard Jäger:
On Feferman's operational set theory OST. Ann. Pure Appl. Log. 150(1-3): 19-39 (2007) - [j43]Gerhard Jäger, Mathis Kretz, Thomas Studer:
Cut-free common knowledge. J. Appl. Log. 5(4): 681-689 (2007) - [j42]Gerhard Jäger, Robert van Rooij:
Language structure: psychological and social constraints. Synth. 159(1): 99-130 (2007) - 2005
- [j41]Luca Alberucci, Gerhard Jäger:
About cut elimination for logics of common knowledge. Ann. Pure Appl. Log. 133(1-3): 73-99 (2005) - [j40]Gerhard Jäger, Thomas Strahm:
Reflections on reflections in explicit mathematics. Ann. Pure Appl. Log. 136(1-2): 116-133 (2005) - [j39]Gerhard Jäger, Dieter Probst:
Corrigendum to "Variation on a theme of Schütte". Math. Log. Q. 51(6): 642 (2005) - 2004
- [j38]Gerhard Jäger:
An intensional fixed point theory over first order arithmetic. Ann. Pure Appl. Log. 128(1-3): 197-213 (2004) - [j37]Gerhard Jäger:
Residuation, Structural Rules and Context Freeness. J. Log. Lang. Inf. 13(1): 47-59 (2004) - [j36]Gerhard Jäger, Dieter Probst:
Variation on a theme of Schütte. Math. Log. Q. 50(3): 258-264 (2004) - 2003
- [j35]Gerhard Jäger:
Recursion by optimization: on the complexity of bidirectional optimality theory. Nat. Lang. Eng. 9(1): 21-38 (2003) - 2002
- [j34]Gerhard Jäger, Thomas Studer:
Extending the system T0 of explicit mathematics: the limit and Mahlo axioms. Ann. Pure Appl. Log. 114(1-3): 79-101 (2002) - [j33]Gerhard Jäger:
Some Notes on the Formal Properties of Bidirectional Optimality Theory. J. Log. Lang. Inf. 11(4): 427-451 (2002) - [c8]Gerhard Jäger:
Residuation, Structural Rules and Context Freeness. TAG+ 2002: 151-158 - 2001
- [j32]Gerhard Jäger, Reinhard Kahle, Thomas Studer:
Universes in explicit mathematics. Ann. Pure Appl. Log. 109(3): 141-162 (2001) - [j31]Gerhard Jäger:
Lambek Grammars as Combinatory Categorial Grammars. Log. J. IGPL 9(6): 781-792 (2001) - [j30]Gerhard Jäger:
Topic‐Comment Structure and the Contrast Between Stage Level and Individual Level Predicates. J. Semant. 18(2): 83-126 (2001) - [j29]Gerhard Jäger, Thomas Strahm:
Upper Bounds for Metapredicative Mahlo in Explicit Mathematics and Admissible Set Theory. J. Symb. Log. 66(2): 935-958 (2001) - [j28]Gerhard Jäger:
First Order Theories for Nonmonotone Inductive Definitions: Recursively Inaccessible and Mahlo. J. Symb. Log. 66(3): 1073-1089 (2001) - 2000
- [j27]Gerhard Jäger, Thomas Strahm:
Fixed point theories and dependent choice. Arch. Math. Log. 39(7): 493-508 (2000)
1990 – 1999
- 1999
- [j26]Gerhard Jäger, Thomas Strahm:
Bar Induction and omega Model Reflection. Ann. Pure Appl. Log. 97(1-3): 221-230 (1999) - [j25]Gerhard Jäger, Reinhard Kahle, Anton Setzer, Thomas Strahm:
The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories. J. Symb. Log. 64(1): 53-67 (1999) - 1998
- [j24]Gerhard Jäger, Wolfram Pohlers, Stanley S. Wainer:
Editorial Logic Colloquium '95, Haifa, Israel. Arch. Math. Log. 37(5-6): 273 (1998) - [c7]Gerhard Jäger:
Anaphora and Quantification in Categorial Grammar. LACL 1998: 70-89 - 1997
- [j23]Gerhard Jäger:
Power Types in Explicit Mathematics. J. Symb. Log. 62(4): 1142-1146 (1997) - 1996
- [b1]Gerhard Jäger:
Topics in dynamic semantics. Humboldt University of Berlin, Unter den Linden, Germany, CIS 1996 - [j22]Alain Heuerding, Gerhard Jäger, Michael Schwendimann, Michael Seyfried:
A Logics Workbench. AI Commun. 9(2): 53-58 (1996) - [j21]Solomon Feferman, Gerhard Jäger:
Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part II. Ann. Pure Appl. Log. 79(1): 37-52 (1996) - [j20]Gerhard Jäger, Thomas Strahm:
Some Theories with Positive Induction of Ordinal Strength phi omega 0. J. Symb. Log. 61(3): 818-842 (1996) - 1995
- [j19]Gerhard Jäger, Thomas Strahm:
Second order theories with ordinals and elementary comprehension. Arch. Math. Log. 34(6): 345-375 (1995) - [j18]Gerhard Jäger, Thomas Strahm:
Totality in Applicative Theories. Ann. Pure Appl. Log. 74(2): 105-120 (1995) - [j17]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): 1 (1995) - [c6]Alain Heuerding, Gerhard Jäger, Stefan Schwendimann, Michael Seyfried:
Propositional Logics on the Computer. TABLEAUX 1995: 310-323 - 1994
- [j16]Brigitte Hösli, Gerhard Jäger:
About Some Symmetries of Negation. J. Symb. Log. 59(2): 473-485 (1994) - 1993
- [j15]Gerhard Jäger:
Fixed Points in Peano Arithmetic with Ordinals. Ann. Pure Appl. Log. 60(2): 119-132 (1993) - [j14]Solomon Feferman, Gerhard Jäger:
Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part I. Ann. Pure Appl. Logic 65(3): 243-263 (1993) - [j13]Gerhard Jäger, Robert F. Stärk:
The Defining Power of Stratified and Hierarchical Logic Programs. J. Log. Program. 15(1&2): 55-77 (1993) - [e2]Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter:
Computer Science Logic, 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers. Lecture Notes in Computer Science 702, Springer 1993, ISBN 3-540-56992-8 [contents] - 1992
- [j12]Gerhard Jäger, Barbara Primo:
About the Proof-Theoretic Ordinals of Weak Fixed Point Theories. J. Symb. Log. 57(3): 1108-1119 (1992) - [e1]Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter:
Computer Science Logic, 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991, Proceedings. Lecture Notes in Computer Science 626, Springer 1992, ISBN 3-540-55789-X [contents] - 1991
- [j11]Gerhard Jäger:
Between constructive mathematics and PROLOG. Arch. Math. Log. 30(5-6): 297-310 (1991) - 1990
- [j10]Gerhard Jäger:
Annotations on the Consistency of the Closed World Assumption. J. Log. Program. 8(3): 229-247 (1990) - [c5]Gerhard Jäger:
Notions of Nonmonotonic Derivability. Nonmonotonic and Inductive Logic 1990: 74-84
1980 – 1989
- 1989
- [c4]Gerhard Jäger:
Proofs as Advanced and Powerful Tool. IFIP Congress 1989: 783-790 - 1987
- [c3]Gerhard Jäger:
Induction in the Elementary Theory of Types and Names. CSL 1987: 118-128 - 1986
- [j9]Gerhard Jäger:
A Boundedness Theorem In mathrmID1 (W). J. Symb. Log. 51(4): 942-947 (1986) - [j8]Gerhard Jäger:
Countable Admissible Ordinals and Dilators. Math. Log. Q. 32(25-30): 451-456 (1986) - [c2]Gerhard Jäger:
Some Contributions to the Logical Analysis of Circumscrition. CADE 1986: 154-171 - 1985
- [c1]Gerhard Jäger:
Some proof-theoretic contributions to theories of sets. Logic Colloquium 1985: 171-192 - 1984
- [j7]Gerhard Jäger:
ϱ-inaccessible ordinals, collapsing functions and a recursive notation system. Arch. Math. Log. 24(1): 49-62 (1984) - [j6]Gerhard Jäger:
The Strength of Admissibility Without Foundation. J. Symb. Log. 49(3): 867-879 (1984) - [j5]Gerhard Jäger:
A Version of Kripke-Platek Set Theory which is Conservative over Peano Arithmetic. Math. Log. Q. 30(1-6): 3-9 (1984) - 1983
- [j4]Gerhard Jäger:
A well-ordering proof for Feferman's theoryT0. Arch. Math. Log. 23(1): 65-77 (1983) - [j3]Solomon Feferman, Gerhard Jäger:
Choice Principles, the Bar Rule and Autonomously Iterated Comprehension Schemes in Analysis. J. Symb. Log. 48(1): 63-70 (1983) - 1980
- [j2]Gerhard Jäger:
Beweistheorie vonKPN. Arch. Math. Log. 20(1-2): 53-63 (1980) - [j1]Gerhard Jäger:
Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen. Arch. Math. Log. 22(3-4): 121-139 (1980)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-16 21:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
