Pages that link to "Item:Q3863890"
From MaRDI portal
The following pages link to Substructure lattices of models of arithmetic (Q3863890):
Displayed 5 items.
- \(\text{PA} (aa)\) (Q1913630) (← links)
- Counting families of mutually intersecting sets (Q1953483) (← links)
- Infinite substructure lattices of models of Peano Arithmetic (Q3066799) (← links)
- Some observations on the substructure lattice of a Δ1 ultrapower (Q3566950) (← links)
- On the role of Ramsey quantifiers in first order arithmetic (Q3953757) (← links)