Pages that link to "Item:Q4404878"
From MaRDI portal
The following pages link to Discernible elements in models for Peano arithmetic (Q4404878):
Displaying 12 items.
- Undefinability of truth and nonstandard models (Q598273) (← links)
- Automorphisms of recursively saturated models of arithmetic (Q1182432) (← links)
- On expandability of models of Peano arithmetic. II (Q1236115) (← links)
- Ehrenfeucht's lemma in set theory (Q1782238) (← links)
- The diversity of minimal cofinal extensions (Q2108579) (← links)
- R.e. Prime powers and total rigidity (Q2281321) (← links)
- On mathematical realism and applicability of hyperreals (Q2323044) (← links)
- Interstitial and pseudo gaps in models of Peano Arithmetic (Q3552397) (← links)
- A Galois correspondence for countable short recursively saturated models of PA (Q3566942) (← links)
- Automorphism groups of models of Peano arithmetic (Q4451717) (← links)
- Neutrally expandable models of arithmetic (Q5108857) (← links)
- Leibnizian models of set theory (Q5311752) (← links)