Pages that link to "Item:Q4338039"
From MaRDI portal
The following pages link to A Model-Theoretic Approach to Ordinal Analysis (Q4338039):
Displaying 5 items.
- 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)
- A NOTE ON PREDICATIVE ORDINAL ANALYSIS I: ITERATED COMPREHENSION AND TRANSFINITE INDUCTION (Q4628680) (← links)
