Pages that link to "Item:Q3985092"
From MaRDI portal
The following pages link to Model-theoretic properties characterizing Peano arithmetic (Q3985092):
Displaying 11 items.
- \(\Delta_{2}\) degrees without \(\Sigma_{1}\) induction (Q466117) (← links)
- Simple axioms that are obviously true in \(\mathbb{N}\) (Q487218) (← links)
- Submodels and definable points in models of Peano arithmetic (Q797573) (← links)
- Definable sets and expansions of models of Peano arithmetic (Q1102945) (← links)
- The theory of \(\kappa\)-like models of arithmetic (Q1913629) (← links)
- \(\text{PA} (aa)\) (Q1913630) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Conservative extensions of models of set theory and generalizations (Q3030803) (← links)
- Substructure lattices and almost minimal end extensions of models of Peano arithmetic (Q3159410) (← links)
- HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK? (Q6103456) (← links)
- On collection schemes and Gaifman's splitting theorem (Q6659526) (← links)
