Pages that link to "Item:Q4254639"
From MaRDI portal
The following pages link to The model-theoretic ordinal analysis of theories of predicative strength (Q4254639):
Displaying 8 items.
- Relativized ordinal analysis: the case of power Kripke-Platek set theory (Q392292) (← links)
- Classical predicative logic-enriched type theories (Q636367) (← links)
- Second order theories with ordinals and elementary comprehension (Q1908814) (← links)
- Interpreting classical theories in constructive ones (Q2710607) (← links)
- Ordinal definability in Jensen's model (Q3708012) (← links)
- A Model-Theoretic Approach to Ordinal Analysis (Q4338039) (← links)
- AN ORDINAL ANALYSIS OF ADMISSIBLE SET THEORY USING RECURSION ON ORDINAL NOTATIONS (Q4551993) (← links)
- Reducing ω-model reflection to iterated syntactic reflection (Q6038474) (← links)