Hanf numbers for omitting types over particular theories

DOI10.2307/2272036zbMATH Open0343.02039OpenAlexW4242142586MaRDI QIDQ4111002FDOQ4111002

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)