On certain types and models for arithmetic
From MaRDI portal
Publication:4049063
DOI10.2307/2272355zbMath0296.02031MaRDI QIDQ4049063
Publication date: 1974
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272355
03C60: Model-theoretic algebra
54D35: Extensions of spaces (compactifications, supercompactifications, completions, etc.)
03C30: Other model constructions
Related Items
Minimal elementary extensions of models of set theory and arithmetic, Ultrafilters and types on models of arithmetic, A simple tree lemma and its application to a counterexample of philips
Cites Work