On certain types and models for arithmetic
From MaRDI portal
Publication:4049063
DOI10.2307/2272355zbMath0296.02031OpenAlexW2031921240MaRDI 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
Model-theoretic algebra (03C60) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Other model constructions (03C30)
Related Items (3)
A simple tree lemma and its application to a counterexample of philips ⋮ Ultrafilters and types on models of arithmetic ⋮ Minimal elementary extensions of models of set theory and arithmetic
Cites Work
This page was built for publication: On certain types and models for arithmetic