Pages that link to "Item:Q688433"
From MaRDI portal
The following pages link to Subsystems of true arithmetic and hierarchies of functions (Q688433):
Displaying 6 items.
- Bootstrapping. I (Q636291) (← links)
- The contribution of Zygmunt Ratajczyk to the foundations of arithmetic (Q1913625) (← links)
- More on lower bounds for partitioning \(\alpha\)-large sets (Q2373693) (← links)
- Partitioning 𝛼–large sets: Some lower bounds (Q3420352) (← links)
- A Model-Theoretic Approach to Ordinal Analysis (Q4338039) (← links)
- An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency (Q5486248) (← links)
