The following pages link to (Q3778746):
Displayed 24 items.
- Proof-theoretic analysis of KPM (Q803124) (← links)
- A logic of abstraction related to finite constructive number classes (Q910401) (← links)
- Fixed points in Peano arithmetic with ordinals (Q1210139) (← links)
- Proof theory of reflection (Q1332853) (← links)
- On the proof-theoretic strength of monotone induction in explicit mathematics (Q1356976) (← links)
- The proof-theoretic analysis of \(\Sigma_{1}^{1}\) transfinite dependent choice (Q1400604) (← links)
- The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule (Q1577487) (← links)
- Inaccessible set axioms may have little consistency strength (Q1612481) (← links)
- Understanding uniformity in Feferman's explicit mathematics (Q1899146) (← links)
- Proof theory and ordinal analysis (Q2276954) (← links)
- On Feferman's operational set theory \textsf{OST} (Q2463480) (← links)
- On the relationship between fixed points and iteration in admissible set theory without foundation (Q2486984) (← links)
- Reflections on reflections in explicit mathematics (Q2566068) (← links)
- Interpreting classical theories in constructive ones (Q2710607) (← links)
- First order theories for nonmonotone inductive definitions: recursively inaccessible and Mahlo (Q2758045) (← links)
- The role of parameters in bar rule and bar induction (Q3984445) (← links)
- Explicit mathematics with the monotone fixed point principle. II: Models (Q4262568) (← links)
- The Recursively Mahlo Property in Second Order Arithmetic (Q4868241) (← links)
- On power set in explicit mathematics (Q4894722) (← links)
- Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa (Q4897040) (← links)
- On the relationship between <i>ATR</i><sub>0</sub> and (Q5687314) (← links)
- Elementary patterns of resemblance (Q5935985) (← links)
- Universes in explicit mathematics (Q5939842) (← links)
- Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms (Q5957853) (← links)