Pages that link to "Item:Q4680381"
From MaRDI portal
The following pages link to Fragments of Arithmetic and true sentences (Q4680381):
Displaying 8 items.
- Fragments of arithmetic (Q762484) (← links)
- On axiom schemes for \(T\)-provably \(\Delta_1\) formulas (Q2449854) (← links)
- A note on parameter free Π<sub>1</sub> -induction and restricted exponentiation (Q3096079) (← links)
- (Q3351351) (← links)
- PREDICATIVITY THROUGH TRANSFINITE REFLECTION (Q5359565) (← links)
- A note on Σ<sub>1</sub>-maximal models (Q5422319) (← links)
- Semi-honest subrecursive degrees and the collection rule in arithmetic (Q6137350) (← links)
- On collection schemes and Gaifman's splitting theorem (Q6659526) (← links)
