Discernible elements in models for Peano arithmetic

DOI10.2307/2272063zbMath0279.02036OpenAlexW2075316024MaRDI QIDQ4404878

Andrzej Ehrenfeucht

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

Mathematics Subject Classification ID

Model-theoretic algebra (03C60)

Related Items (12)

Leibnizian models of set theory ⋮ Undefinability of truth and nonstandard models ⋮ Neutrally expandable models of arithmetic ⋮ Automorphisms of recursively saturated models of arithmetic ⋮ Interstitial and pseudo gaps in models of Peano Arithmetic ⋮ A Galois correspondence for countable short recursively saturated models of PA ⋮ Ehrenfeucht's lemma in set theory ⋮ On expandability of models of Peano arithmetic. II ⋮ R.e. Prime powers and total rigidity ⋮ Automorphism groups of models of Peano arithmetic ⋮ On mathematical realism and applicability of hyperreals ⋮ The diversity of minimal cofinal extensions

This page was built for publication: Discernible elements in models for Peano arithmetic