Discernible elements in models for Peano arithmetic
From MaRDI portal
Publication:4404878
DOI10.2307/2272063zbMATH Open0279.02036OpenAlexW2075316024MaRDI QIDQ4404878FDOQ4404878
Publication date: 1973
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272063
Cited In (12)
- A Galois correspondence for countable short recursively saturated models of PA
- On expandability of models of Peano arithmetic. II
- On mathematical realism and applicability of hyperreals
- The diversity of minimal cofinal extensions
- Neutrally expandable models of arithmetic
- Automorphism groups of models of Peano arithmetic
- Undefinability of truth and nonstandard models
- Ehrenfeucht's lemma in set theory
- R.e. Prime powers and total rigidity
- Interstitial and pseudo gaps in models of Peano Arithmetic
- Leibnizian models of set theory
- Automorphisms of recursively saturated models of arithmetic
This page was built for publication: Discernible elements in models for Peano arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4404878)
