Pages that link to "Item:Q3968911"
From MaRDI portal
The following pages link to Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen (Q3968911):
Displayed 7 items.
- Fixed points in Peano arithmetic with ordinals (Q1210139) (← links)
- The strength of some Martin-Löf type theories (Q1344548) (← links)
- Proof theory for theories of ordinals. I: Recursively Mahlo ordinals (Q1400597) (← links)
- Second order theories with ordinals and elementary comprehension (Q1908814) (← links)
- On Feferman's operational set theory \textsf{OST} (Q2463480) (← links)
- Theories and ordinals in proof theory (Q2500821) (← links)
- AN ORDINAL ANALYSIS OF ADMISSIBLE SET THEORY USING RECURSION ON ORDINAL NOTATIONS (Q4551993) (← links)