Refinements of Vaught's normal from theorem

DOI10.2307/2273122MaRDI QIDQ3875914zbMATH OpenOpenAlexFDO

Authors 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

Barwise compactness theoremHintikka setinterpolation theoremsVaught's normal form theorem

Mathematics Subject Classification ID

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

Cites work

• An interpolation theorem in the predicate calculus
• Applications of vaught sentences and the covering theorem
• Fundamenta Mathematicae: An Examination of Its Founding and Significance
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Models with compactness properties relative to an admissible language
• The Suslin-Kleene theorem for countable structures

Cited in

(1)

• New axiomatizations for logics with generalized quantifiers

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3875914)