The following pages link to Gerhard Jäger (Q194997):
Displayed 50 items.
- Intuitionistic common knowledge or belief (Q334160) (← links)
- Operational closure and stability (Q385076) (← links)
- The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories (Q639666) (← links)
- Canonical completeness of infinitary \(\mu \) (Q941442) (← links)
- Full operational set theory with unbounded existential quantification and power set (Q1024551) (← links)
- Between constructive mathematics and PROLOG (Q1173742) (← links)
- Fixed points in Peano arithmetic with ordinals (Q1210139) (← links)
- Bar induction and \(\omega\) model reflection (Q1302306) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. I (Q1314542) (← links)
- Fixed point theories and dependent choice (Q1590660) (← links)
- About cut elimination for logics of common knowledge (Q1772772) (← links)
- An intensional fixed point theory over first order arithmetic (Q1877095) (← links)
- Totality in applicative theories (Q1896484) (← links)
- Second order theories with ordinals and elementary comprehension (Q1908814) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. II (Q1919537) (← links)
- A Buchholz rule for modal fixed point logics (Q1942334) (← links)
- Short note: least fixed points versus least closed points (Q2238139) (← links)
- An infinitary treatment of full \(\mu\)-calculus (Q2303578) (← links)
- On Feferman's operational set theory \textsf{OST} (Q2463480) (← links)
- Cut-free common knowledge (Q2475436) (← links)
- Reflections on reflections in explicit mathematics (Q2566068) (← links)
- Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory (Q2747729) (← links)
- First order theories for nonmonotone inductive definitions: recursively inaccessible and Mahlo (Q2758045) (← links)
- EXPLICIT MATHEMATICS AND OPERATIONAL SET THEORY: SOME ONTOLOGICAL COMPARISONS (Q2795201) (← links)
- (Q3035279) (← links)
- Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis (Q3039341) (← links)
- (Q3041187) (← links)
- Modal Fixed Point Logics (Q3060980) (← links)
- (Q3081646) (← links)
- From Mathesis Universalis to Fixed Points and Related Set-Theoretic Concepts (Q3305630) (← links)
- A VERSION OF KRIPKE‐PLATEK SET THEORY WHICH IS CONSERVATIVE OVER PEANO ARITHMETIC (Q3325717) (← links)
- ϱ-inaccessible ordinals, collapsing functions and a recursive notation system (Q3335775) (← links)
- Countable Admissible Ordinals and Dilators (Q3708793) (← links)
- The strength of admissibility without foundation (Q3710526) (← links)
- A boundedness theorem in <b>ID</b><sub>1</sub>(<i>W</i>) (Q3760543) (← links)
- (Q3768427) (← links)
- (Q3778746) (← links)
- Beweistheorie vonKPN (Q3880843) (← links)
- (Q3895466) (← links)
- (Q3895467) (← links)
- Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen (Q3968911) (← links)
- (Q3968923) (← links)
- About the proof-theoretic ordinals of weak fixed point theories (Q4032884) (← links)
- The defining power of stratified and hierarchical logic programs (Q4036281) (← links)
- (Q4215638) (← links)
- The proof-theoretic analysis of transfinitely iterated fixed point theories (Q4254619) (← links)
- About some symmetries of negation (Q4302346) (← links)
- (Q4357064) (← links)
- Power types in explicit mathematics? (Q4382463) (← links)
- ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS (Q4579812) (← links)