Hanf numbers for omitting types over particular theories
From MaRDI portal
Publication:4111002
DOI10.2307/2272036zbMath0343.02039OpenAlexW4242142586MaRDI QIDQ4111002
Publication date: 1976
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272036
Related Items (3)
Four problems concerning recursively saturated models of arithmetic ⋮ Undefinable Classes and Definable Elements in Models of Set Theory and Arithmetic ⋮ Minimal elementary extensions of models of set theory and arithmetic
This page was built for publication: Hanf numbers for omitting types over particular theories
