The following pages link to Gerhard Jäger (Q194997):
Displayed 20 items.
- (Q4630796) (← links)
- (Q4636047) (← links)
- (Q4663832) (← links)
- TRUNCATION AND SEMI-DECIDABILITY NOTIONS IN APPLICATIVE THEORIES (Q4692077) (← links)
- Annotations on the consistency of the closed world assumption (Q4713089) (← links)
- (Q4729762) (← links)
- Variation on a theme of Schütte (Q4736753) (← links)
- A well-ordering proof for Feferman's theoryT 0 (Q4749835) (← links)
- (Q4793035) (← links)
- (Q4842537) (← links)
- (Q4941991) (← links)
- (Q4981451) (← links)
- The Operational Penumbra: Some Ontological Aspects (Q5214788) (← links)
- Theories of Proof-Theoretic Strength Ψ (Γ<sub>Ω</sub> +1) (Q5221836) (← links)
- (Q5316376) (← links)
- RELATIVIZING OPERATIONAL SET THEORY (Q5346703) (← links)
- A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions (Q5361256) (← links)
- Some theories with positive induction of ordinal strength <i>φω</i>0 (Q5687318) (← links)
- Universes in explicit mathematics (Q5939842) (← links)
- Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms (Q5957853) (← links)