Gerhard Jäger

401 total citations
21 papers, 218 citations indexed

About

Gerhard Jäger is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Geometry and Topology. According to data from OpenAlex, Gerhard Jäger has authored 21 papers receiving a total of 218 indexed citations (citations by other indexed papers that have themselves been cited), including 15 papers in Computational Theory and Mathematics, 12 papers in Artificial Intelligence and 6 papers in Geometry and Topology. Recurrent topics in Gerhard Jäger's work include Logic, Reasoning, and Knowledge (9 papers), Logic, programming, and type systems (6 papers) and Computability, Logic, AI Algorithms (6 papers). Gerhard Jäger is often cited by papers focused on Logic, Reasoning, and Knowledge (9 papers), Logic, programming, and type systems (6 papers) and Computability, Logic, AI Algorithms (6 papers). Gerhard Jäger collaborates with scholars based in Switzerland, Germany and United Kingdom. Gerhard Jäger's co-authors include Thomas Strahm, Solomon Feferman, Thomas Studer, Reinhard Kähle, Egon Börger, Hans Kleine Büning and Michael Rathjen and has published in prestigious journals such as Journal of Symbolic Logic, Annals of Pure and Applied Logic and Archive for Mathematical Logic.

In The Last Decade

Gerhard Jäger

20 papers receiving 193 citations

Peers

Gerhard Jäger
Thomas Strahm Switzerland
Wolfram Pohlers Germany
Peter G. Hinman United States
Wim Veldman Netherlands
Reinhard Kähle Portugal
S. K. Thomason Canada
Richard Zach Canada
Roman Murawski Poland
Henryk Kotlarski Poland
Akiko Kino Ghana
Thomas Strahm Switzerland
Gerhard Jäger
Citations per year, relative to Gerhard Jäger Gerhard Jäger (= 1×) peers Thomas Strahm

Countries citing papers authored by Gerhard Jäger

Since Specialization
Citations

This map shows the geographic impact of Gerhard Jäger's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Gerhard Jäger with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Gerhard Jäger more than expected).

Fields of papers citing papers by Gerhard Jäger

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Gerhard Jäger. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Gerhard Jäger. The network helps show where Gerhard Jäger may publish in the future.

Co-authorship network of co-authors of Gerhard Jäger

This figure shows the co-authorship network connecting the top 25 collaborators of Gerhard Jäger. A scholar is included among the top collaborators of Gerhard Jäger based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Gerhard Jäger. Gerhard Jäger is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Jäger, Gerhard & Michael Rathjen. (2024). Admissible extensions of subtheories of second order arithmetic. Annals of Pure and Applied Logic. 175(7). 103425–103425.
2.
Jäger, Gerhard. (2021). Short note: Least fixed points versus least closed points. Archive for Mathematical Logic. 60(7-8). 831–835. 1 indexed citations
3.
Jäger, Gerhard, et al.. (2011). The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories. Annals of Pure and Applied Logic. 162(8). 647–660. 1 indexed citations
4.
Jäger, Gerhard & Thomas Studer. (2011). A Buchholz Rule for Modal Fixed Point Logics. Logica Universalis. 5(1). 1–19. 3 indexed citations
5.
Jäger, Gerhard. (2009). Full operational set theory with unbounded existential quantification and power set. Annals of Pure and Applied Logic. 160(1). 33–52. 9 indexed citations
6.
Jäger, Gerhard, et al.. (2008). Canonical completeness of infinitary μ. The Journal of Logic and Algebraic Programming. 76(2). 270–292. 13 indexed citations
7.
Jäger, Gerhard. (2007). On Feferman’s operational set theory OST. 10 indexed citations
8.
Jäger, Gerhard. (2007). On Feferman’s operational set theory OST. Annals of Pure and Applied Logic. 150(1-3). 19–39. 8 indexed citations
9.
Jäger, Gerhard & Thomas Strahm. (2005). Reflections on reflections in explicit mathematics. Annals of Pure and Applied Logic. 136(1-2). 116–133. 5 indexed citations
10.
Jäger, Gerhard & Thomas Studer. (2002). Extending the system T0 of explicit mathematics: the limit and Mahlo axioms. Annals of Pure and Applied Logic. 114(1-3). 79–101. 11 indexed citations
11.
Jäger, Gerhard, Reinhard Kähle, & Thomas Studer. (2001). Universes in explicit mathematics. Annals of Pure and Applied Logic. 109(3). 141–162. 14 indexed citations
12.
Jäger, Gerhard & Thomas Strahm. (2001). Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory. Journal of Symbolic Logic. 66(2). 935–958. 21 indexed citations
13.
Jäger, Gerhard. (2001). First order theories for nonmonotone inductive definitions: recursively inaccessible and Mahlo. Journal of Symbolic Logic. 66(3). 1073–1089. 4 indexed citations
14.
Jäger, Gerhard & Thomas Strahm. (2000). Fixed point theories and dependent choice. Archive for Mathematical Logic. 39(7). 493–508. 9 indexed citations
15.
Jäger, Gerhard & Thomas Strahm. (1999). Bar induction and ω model reflection. Annals of Pure and Applied Logic. 97(1-3). 221–230. 11 indexed citations
16.
Jäger, Gerhard & Thomas Strahm. (1995). Second order theories with ordinals and elementary comprehension. Archive for Mathematical Logic. 34(6). 345–375. 8 indexed citations
17.
Jäger, Gerhard. (1993). Fixed points in Peano arithmetic with ordinals. Annals of Pure and Applied Logic. 60(2). 119–132. 20 indexed citations
18.
Feferman, Solomon & Gerhard Jäger. (1993). Systems of explicit mathematics with non-constructive μ-operator. Part I. Annals of Pure and Applied Logic. 65(3). 243–263. 37 indexed citations
19.
Jäger, Gerhard, Hans Kleine Büning, & Egon Börger. (1993). Computer Science Logic: 6th Workshop, Csl '92 San Miniato, Italy September 28-October 2, 1992 Selected Papers. Medical Entomology and Zoology. 2 indexed citations
20.
Jäger, Gerhard. (1983). A well-ordering proof for Feferman's theoryT 0. Archive for Mathematical Logic. 23(1). 65–77. 30 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Thomas Strahm Breakdown of academic impact, for papers by Wolfram Pohlers Breakdown of academic impact, for papers by Peter G. Hinman Breakdown of academic impact, for papers by Wim Veldman Breakdown of academic impact, for papers by Reinhard Kähle Breakdown of academic impact, for papers by S. K. Thomason Breakdown of academic impact, for papers by Richard Zach Breakdown of academic impact, for papers by Roman Murawski Breakdown of academic impact, for papers by Henryk Kotlarski Breakdown of academic impact, for papers by Akiko Kino
Rankless by CCL
2026