Pages that link to "Item:Q4338039"
From MaRDI portal
The following pages link to A Model-Theoretic Approach to Ordinal Analysis (Q4338039):
Displaying 12 items.
- Relativized ordinal analysis: the case of power Kripke-Platek set theory (Q392292) (← links)
- Dynamic ordinal analysis (Q1407595) (← links)
- A model of the generic Vopěnka principle in which the ordinals are not Mahlo (Q1712940) (← links)
- Saturated models of universal theories (Q1861531) (← links)
- More on lower bounds for partitioning \(\alpha\)-large sets (Q2373693) (← links)
- Partitioning 𝛼–large sets: Some lower bounds (Q3420352) (← links)
- Classifying the Provably Total Functions of PA (Q3430936) (← links)
- Ordinal definability in Jensen's model (Q3708012) (← links)
- The model-theoretic ordinal analysis of theories of predicative strength (Q4254639) (← links)
- (Q4431842) (← links)
- A NOTE ON PREDICATIVE ORDINAL ANALYSIS I: ITERATED COMPREHENSION AND TRANSFINITE INDUCTION (Q4628680) (← links)
- Theories and Ordinals: Ordinal Analysis (Q5425365) (← links)