The following pages link to Inductive full satisfaction classes (Q920081):
Displaying 8 items.
- Subsystems of true arithmetic and hierarchies of functions (Q688433) (← links)
- The contribution of Zygmunt Ratajczyk to the foundations of arithmetic (Q1913625) (← links)
- Interpreting the compositional truth predicate in models of arithmetic (Q2042738) (← links)
- Reflection algebras and conservation results for theories of iterated truth (Q2120976) (← links)
- More on lower bounds for partitioning \(\alpha\)-large sets (Q2373693) (← links)
- A note on the variety of satisfaction classes (Q2639847) (← links)
- Partitioning 𝛼–large sets: Some lower bounds (Q3420352) (← links)
- A Model-Theoretic Approach to Ordinal Analysis (Q4338039) (← links)
