Pages that link to "Item:Q1166517"
From MaRDI portal
The following pages link to Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies (Q1166517):
Displayed 24 items.
- From Coinductive Proofs to Exact Real Arithmetic (Q3644745) (← links)
- Functional interpretation and inductive definitions (Q3655246) (← links)
- The strength of admissibility without foundation (Q3710526) (← links)
- Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees (Q3731598) (← links)
- A boundedness theorem in <b>ID</b><sub>1</sub>(<i>W</i>) (Q3760543) (← links)
- Natural well-orderings (Q3772212) (← links)
- Reflecting on incompleteness (Q3981446) (← links)
- The role of parameters in bar rule and bar induction (Q3984445) (← links)
- About the proof-theoretic ordinals of weak fixed point theories (Q4032884) (← links)
- The proof-theoretic analysis of transfinitely iterated fixed point theories (Q4254619) (← links)
- Hilbert's Programs: 1917–1922 (Q4254642) (← links)
- 1998 European Summer Meeting of the Association for Symbolic Logic (Q4254644) (← links)
- How is it that infinitary methods can be applied to finitary mathematics? Gödel's <i>T</i>: a case study (Q4254685) (← links)
- (Q4531084) (← links)
- Forcing in Proof Theory (Q4678943) (← 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 No-Counterexample Interpretation (Q4948521) (← links)
- AXIOMATIZING SEMANTIC THEORIES OF TRUTH? (Q5259722) (← links)
- Induction and inductive definitions in fragments of second order arithmetic (Q5486242) (← links)
- A NOTE ON THEORIES FOR QUASI-INDUCTIVE DEFINITIONS (Q5850984) (← links)
- Elementary patterns of resemblance (Q5935985) (← links)
- Universes in explicit mathematics (Q5939842) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Q5966661) (← links)