Hanf numbers for omitting types over particular theories

DOI10.2307/2272036MaRDI QIDQ4111002zbMATH OpenOpenAlexFDO

Authors J. F. Knight

Publication date 1976

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2272036

Mathematics Subject Classification ID

Other classical first-order model theory (03C68)

Cited in

(3)

• Undefinable Classes and Definable Elements in Models of Set Theory and Arithmetic
• Four problems concerning recursively saturated models of 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4111002)