Applications of vaught sentences and the covering theorem
From MaRDI portal
Publication:4100057
DOI10.2307/2272957zbMath0333.02013OpenAlexW4247237044MaRDI QIDQ4100057
Publication date: 1976
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272957
Other infinitary logic (03C75) Categoricity and completeness of theories (03C35) Other classical first-order model theory (03C68)
Related Items (10)
Applications of Fodor's lemma to Vaught's conjecture ⋮ Numerations of saturated and homogeneous models ⋮ Borel $$^{*}$$ Sets in the Generalized Baire Space and Infinitary Languages ⋮ Coinductive formulas and a many-sorted interpolation theorem ⋮ Some local definability results on countable topological structures ⋮ Refinements of Vaught's normal from theorem ⋮ New axiomatizations for logics with generalized quantifiers ⋮ Game sentences, recursive saturation and definability ⋮ An application of invariant sets to global definability ⋮ The Craig interpolation theorem in abstract model theory
This page was built for publication: Applications of vaught sentences and the covering theorem
