The simplest counterexample to compactness in the constructive universe

Menachem Magidor

doi:10.1016/S0049-237X(09)70199-5

The simplest counterexample to compactness in the constructive universe

Menachem Magidor^*

^*Corresponding author for this work

Einstein Institute of Mathematics

Research output: Contribution to journal › Article › peer-review

Abstract

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.

Original language	English
Pages (from-to)	279-288
Number of pages	10
Journal	Studies in Logic and the Foundations of Mathematics
Volume	104
Issue number	C
DOIs	https://doi.org/10.1016/S0049-237X(09)70199-5
State	Published - 1 Jan 1982

Access to Document

10.1016/S0049-237X(09)70199-5

Cite this

@article{a85eb354eab84aa8a548f5c5e14ca0cb,

title = "The simplest counterexample to compactness in the constructive universe",

abstract = "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.",

author = "Menachem Magidor",

year = "1982",

month = jan,

day = "1",

doi = "10.1016/S0049-237X(09)70199-5",

language = "אנגלית",

volume = "104",

pages = "279--288",

journal = "Studies in Logic and the Foundations of Mathematics",

issn = "0049-237X",

publisher = "Elsevier B.V.",

number = "C",

}

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 - https://www.scopus.com/pages/publications/77956961910

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 -

The simplest counterexample to compactness in the constructive universe

Abstract

Access to Document

Other files and links

Fingerprint

Cite this