SQUARES, SCALES AND STATIONARY REFLECTION

2001 ◽  
Vol 01 (01) ◽  
pp. 35-98 ◽  
Author(s):  
JAMES CUMMINGS ◽  
MATTHEW FOREMAN ◽  
MENACHEM MAGIDOR
Keyword(s):  
Continuum Hypothesis ◽  
Pcf Theory ◽  
Consistency Results ◽  
Singular Cardinals ◽  
Combinatorial Principles ◽  
Stationary Set ◽  
Independence Results ◽  
The Axiom Of Choice ◽  
Cardinal Arithmetic ◽  
The Continuum

Since the work of Gödel and Cohen, which showed that Hilbert's First Problem (the Continuum Hypothesis) was independent of the usual assumptions of mathematics (axiomatized by Zermelo–Fraenkel Set Theory with the Axiom of Choice, ZFC), there have been a myriad of independence results in many areas of mathematics. These results have led to the systematic study of several combinatorial principles that have proven effective at settling many of the important independent statements. Among the most prominent of these are the principles diamond(♢) and square(□) discovered by Jensen. Simultaneously, attempts have been made to find suitable natural strengthenings of ZFC, primarily by Large Cardinal or Reflection Axioms. These two directions have tension between them in that Jensen's principles, which tend to suggest a rather rigid mathematical universe, are at odds with reflection properties. A third development was the discovery by Shelah of "PCF Theory", a generalization of cardinal arithmetic that is largely determined inside ZFC. In this paper we consider interactions between these three theories in the context of singular cardinals, focusing on the various implications between square and scales (a fundamental notion in PCF theory), and on consistency results between relatively strong forms of square and stationary set reflection.

scholarly journals Several results on compact metrizable spaces in $$\mathbf {ZF}$$

2021 ◽  
Author(s):  
Kyriakos Keremedis ◽  
Eleftherios Tachtsis ◽  
Eliza Wajch
Keyword(s):  
Continuum Hypothesis ◽  
Compact Spaces ◽  
Power Set ◽  
Compact Metrizable Space ◽  
Permutation Models ◽  
Independence Results ◽  
The Axiom Of Choice ◽  
Metrizable Spaces ◽  
Transfer Theorems ◽  
The Continuum

AbstractIn the absence of the axiom of choice, the set-theoretic status of many natural statements about metrizable compact spaces is investigated. Some of the statements are provable in $$\mathbf {ZF}$$ ZF , some are shown to be independent of $$\mathbf {ZF}$$ ZF . For independence results, distinct models of $$\mathbf {ZF}$$ ZF and permutation models of $$\mathbf {ZFA}$$ ZFA with transfer theorems of Pincus are applied. New symmetric models of $$\mathbf {ZF}$$ ZF are constructed in each of which the power set of $$\mathbb {R}$$ R is well-orderable, the Continuum Hypothesis is satisfied but a denumerable family of non-empty finite sets can fail to have a choice function, and a compact metrizable space need not be embeddable into the Tychonoff cube $$[0, 1]^{\mathbb {R}}$$ [ 0 , 1 ] R .

Gödel, Kurt (1906–78)

2018 ◽  
Author(s):  
John W. Dawson
Keyword(s):  
Twentieth Century ◽  
Set Theory ◽  
Continuum Hypothesis ◽  
Order Logic ◽  
First Order Logic ◽  
First Order ◽  
Mathematical Platonism ◽  
The Axiom Of Choice ◽  
Fundamental Theorems ◽  
The Continuum

The greatest logician of the twentieth century, Gödel is renowned for his advocacy of mathematical Platonism and for three fundamental theorems in logic: the completeness of first-order logic; the incompleteness of formalized arithmetic; and the consistency of the axiom of choice and the continuum hypothesis with the axioms of Zermelo–Fraenkel set theory.

An addendum to “The work of Kurt Gödel”

1978 ◽  
Vol 43 (3) ◽  
pp. 613-613 ◽  
Author(s):  
Stephen C. Kleene
Keyword(s):  
Set Theory ◽  
Continuum Hypothesis ◽  
Axiom System ◽  
Von Neumann ◽  
Main Achievement ◽  
Constructible Sets ◽  
Kurt Gödel ◽  
The One ◽  
The Axiom Of Choice ◽  
The Continuum

Gödel has called to my attention that p. 773 is misleading in regard to the discovery of the finite axiomatization and its place in his proof of the consistency of GCH. For the version in [1940], as he says on p. 1, “The system Σ of axioms for set theory which we adopt [a finite one] … is essentially due to P. Bernays …”. However, it is not at all necessary to use a finite axiom system. Gödel considers the more suggestive proof to be the one in [1939], which uses infinitely many axioms.His main achievement regarding the consistency of GCH, he says, really is that he first introduced the concept of constructible sets into set theory defining it as in [1939], proved that the axioms of set theory (including the axiom of choice) hold for it, and conjectured that the continuum hypothesis also will hold. He told these things to von Neumann during his stay at Princeton in 1935. The discovery of the proof of this conjecture On the basis of his definition is not too difficult. Gödel gave the proof (also for GCH) not until three years later because he had fallen ill in the meantime. This proof was using a submodel of the constructible sets in the lowest case countable, similar to the one commonly given today.

The constructible universe

2018 ◽  
Author(s):  
John P. Burgess
Keyword(s):  
Set Theory ◽  
Continuum Hypothesis ◽  
Axiom Of Choice ◽  
Constructible Sets ◽  
Kurt Gödel ◽  
The Axiom Of Choice ◽  
The Universe ◽  
The Continuum

the ‘universe’ of constructible sets was introduced by Kurt Gödel in order to prove the consistency of the axiom of choice (AC) and the continuum hypothesis (CH) with the basic (ZF) axioms of set theory. The hypothesis that all sets are constructible is the axiom of constructibility (V = L). Gödel showed that if ZF is consistent, then ZF + V = L is consistent, and that AC and CH are provable in ZF + V = L.

TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY

2010 ◽  
Vol 3 (1) ◽  
pp. 71-92 ◽  
Author(s):  
ZACH WEBER
Keyword(s):  
Set Theory ◽  
Continuum Hypothesis ◽  
Paraconsistent Logic ◽  
Peano Arithmetic ◽  
Large Cardinals ◽  
Cardinal Numbers ◽  
Naive Set Theory ◽  
Cantor’S Theorem ◽  
The Axiom Of Choice ◽  
The Continuum

This paper begins an axiomatic development of naive set theory—the consequences of a full comprehension principle—in a paraconsistent logic. Results divide into two sorts. There is classical recapture, where the main theorems of ordinal and Peano arithmetic are proved, showing that naive set theory can provide a foundation for standard mathematics. Then there are major extensions, including proofs of the famous paradoxes and the axiom of choice (in the form of the well-ordering principle). At the end I indicate how later developments of cardinal numbers will lead to Cantor’s theorem, the existence of large cardinals, and a counterexample to the continuum hypothesis.

Sign in / Sign up

Export Citation Format

Share Document