Refinements of Vaught's normal from theorem

DOI10.2307/2273122zbMath0436.03033OpenAlexW2006936164MaRDI QIDQ3875914

Victor Harnik

Publication date: 1979

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273122

zbMATH Keywords

interpolation theoremsHintikka setBarwise compactness theoremVaught's normal form theorem

Mathematics Subject Classification ID

Descriptive set theory (03E15) Interpolation, preservation, definability (03C40) Other infinitary logic (03C75)

Related Items (1)

New axiomatizations for logics with generalized quantifiers

Cites Work

• Unnamed Item
• An interpolation theorem in the predicate calculus
• The Suslin-Kleene theorem for countable structures
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Applications of vaught sentences and the covering theorem
• Models with compactness properties relative to an admissible language
• Fundamenta Mathematicae: An Examination of Its Founding and Significance

This page was built for publication: Refinements of Vaught's normal from theorem