Finding \(2^{\aleph_0}\) countable models for ordered theories

DOI10.17377/semi.2018.15.057zbMath1436.03183MaRDI QIDQ1669769

John T. Baldwin, Bektur Sembiuly Baizhanov, Tat'yana Sergeevna Zambarnaya

Publication date: 4 September 2018

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

zbMATH Keywords

countable model; linear order; omitting types

Mathematics Subject Classification ID

03C64: Model theory of ordered structures; o-minimality

03C15: Model theory of denumerable and separable structures