Hanf number of omitting type for simple first-order theories

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)319-324
Number of pages6
JournalJournal of Symbolic Logic
Volume44
Issue number3
DOIs
StatePublished - 1979

Cite this