A proofless proof of the Barwise compactness theorem

DOI10.2307/2274526MaRDI QIDQ3797243zbMATH OpenOpenAlexFDO

Authors Mark Howard

Publication date 1988

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

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

zbMATH Keywords

Barwise compactness theoremdefinability of forcingdiagonalization

Mathematics Subject Classification ID

Model-theoretic forcing (03C25) Other aspects of forcing and Boolean-valued models (03E40) Partial orders, general (06A06)

Recommendations

• An algebraic treatment of the Barwise compactness theory
• scientific article; zbMATH DE number 3880649
• scientific article; zbMATH DE number 903095
• Class forcing, the forcing theorem and Boolean completions
• The Barwise-Schlipf theorem

Cited in

(2)

• An algebraic treatment of the Barwise compactness theory
• scientific article; zbMATH DE number 3880649 (Why is no real title available?)

This page was built for publication: A proofless proof of the Barwise compactness theorem

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