Pages that link to "Item:Q3211295"
From MaRDI portal
The following pages link to More on induction in the language with a satisfaction class (Q3211295):
Displaying 6 items.
- The incompleteness theorems after 70 years (Q598275) (← links)
- Subsystems of true arithmetic and hierarchies of functions (Q688433) (← links)
- The contribution of Zygmunt Ratajczyk to the foundations of arithmetic (Q1913625) (← links)
- More on lower bounds for partitioning \(\alpha\)-large sets (Q2373693) (← links)
- Local collection and end-extensions of models of compositional truth (Q2662691) (← links)
- Partitioning 𝛼–large sets: Some lower bounds (Q3420352) (← links)