Pages that link to "Item:Q5680102"
From MaRDI portal
The following pages link to A system of abstract constructive ordinals (Q5680102):
Displaying 18 items.
- An extension of the omega-rule (Q283132) (← links)
- Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience (Q386630) (← links)
- Theory of proofs (arithmetic and analysis) (Q1260035) (← links)
- Epsilon substitution for \(ID_1\) via cut-elimination (Q1661673) (← links)
- Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen (Q3048827) (← links)
- Well-Partial Orderings and their Maximal Order Types (Q3295157) (← links)
- From Subsystems of Analysis to Subsystems of Set Theory (Q3305559) (← links)
- Functional interpretation and inductive definitions (Q3655246) (← links)
- Natural well-orderings (Q3772212) (← links)
- (Q3887456) (← links)
- Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1 (Q3942955) (← links)
- Reflecting on incompleteness (Q3981446) (← links)
- Provable wellorderings of formal theories for transfinitely iterated inductive definitions (Q4198748) (← links)
- How is it that infinitary methods can be applied to finitary mathematics? Gödel's <i>T</i>: a case study (Q4254685) (← links)
- Size-based termination of higher-order rewriting (Q4577817) (← links)
- A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal (Q5214782) (← links)
- Iterated Inductive Definitions Revisited (Q5214787) (← links)
- On Some Semi-constructive Theories Related to Kripke–Platek Set Theory (Q5214791) (← links)