A proofless proof of the Barwise compactness theorem

DOI10.2307/2274526zbMATH Open0652.06005OpenAlexW4246185252MaRDI QIDQ3797243FDOQ3797243

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

Recommendations

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

zbMATH Keywords

diagonalizationBarwise compactness theoremdefinability of forcing

Mathematics Subject Classification ID

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

Cited In (1)

• Title not available (Why is that?)

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)