TY - JOUR
T1 - The simplest counterexample to compactness in the constructive universe
AU - Magidor, Menachem
PY - 1982/1/1
Y1 - 1982/1/1
N2 - This chapter discusses the simplest counter example to compactness in the constructible universe. Compactness is referred to as a generalization of the Barwise compactness theorem. It assumes the axiom of constructibility (V = L). A set C is simpler than B, if C is constructed before B in the usual procedure for generating the constructible universe. The chapter also reviews that the crucial tool is the Kueker approximation of a theory in L∞∞. The definition is a minor modification of Kueker's one, though equivalent to it for all practical matters.
AB - This chapter discusses the simplest counter example to compactness in the constructible universe. Compactness is referred to as a generalization of the Barwise compactness theorem. It assumes the axiom of constructibility (V = L). A set C is simpler than B, if C is constructed before B in the usual procedure for generating the constructible universe. The chapter also reviews that the crucial tool is the Kueker approximation of a theory in L∞∞. The definition is a minor modification of Kueker's one, though equivalent to it for all practical matters.
UR - http://www.scopus.com/inward/record.url?scp=77956961910&partnerID=8YFLogxK
U2 - 10.1016/S0049-237X(09)70199-5
DO - 10.1016/S0049-237X(09)70199-5
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:77956961910
SN - 0049-237X
VL - 104
SP - 279
EP - 288
JO - Studies in Logic and the Foundations of Mathematics
JF - Studies in Logic and the Foundations of Mathematics
IS - C
ER -