Pages that link to "Item:Q549718"
From MaRDI portal
The following pages link to Theories of initial segments of standard models of arithmetics and their complete extensions (Q549718):
Displaying 5 items.
- Minimal elementary extensions of models of set theory and arithmetic (Q810502) (← links)
- On the structure of initial segments of models of arithmetic (Q1123890) (← links)
- On cofinal extensions of models of fragments of arithmetic (Q1182708) (← links)
- A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs (Q2957670) (← links)
- Theories of arithmetics in finite models (Q3370752) (← links)