Models with second order properties II. Trees with no undefined branches

Saharon Shelah*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

40 Scopus citations

Abstract

We prove several theorems of the form; a first order theory T has a model M (sometimes with additional conditions) such that (some) trees defined in M, have no branches except those defined in it. We have some applications e.g. an example for compact logic L(Q), where in L(o1,o)(Q) well-ordering is definable.

Original languageEnglish
Pages (from-to)73-87
Number of pages15
JournalAnnals of Mathematical Logic
Volume14
Issue number1
DOIs
StatePublished - Jun 1978

Fingerprint

Dive into the research topics of 'Models with second order properties II. Trees with no undefined branches'. Together they form a unique fingerprint.

Cite this