Pages that link to "Item:Q2514846"
From MaRDI portal
The following pages link to Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory (Q2514846):
Displaying 6 items.
- Ordinal analysis of non-monotone \(\Pi_1^0\)-definable inductive definitions (Q958493) (← links)
- Second order theories with ordinals and elementary comprehension (Q1908814) (← links)
- A NOTE ON PREDICATIVE ORDINAL ANALYSIS I: ITERATED COMPREHENSION AND TRANSFINITE INDUCTION (Q4628680) (← links)
- TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY (Q4692072) (← links)
- On the Performance of Axiom Systems (Q5055280) (← links)
- CLASSICAL DETERMINATE TRUTH I (Q6203556) (← links)