Pages that link to "Item:Q4551993"
From MaRDI portal
The following pages link to AN ORDINAL ANALYSIS OF ADMISSIBLE SET THEORY USING RECURSION ON ORDINAL NOTATIONS (Q4551993):
Displaying 6 items.
- Relativized ordinal analysis: the case of power Kripke-Platek set theory (Q392292) (← links)
- Ordinal machines and admissible recursion theory (Q1032634) (← links)
- A uniform approach for characterizing the provably total number-theoretic functions of KPM and (some of) its subsystems (Q1300010) (← links)
- Update procedures and the 1-consistency of arithmetic (Q2776806) (← links)
- (Q3118357) (← links)
- (Q4218926) (← links)