Consistency of the Continuum Hypothesis. (AM-3)
From MaRDI portal
Publication:5839930
DOI10.1515/9781400881635zbMath0061.00902OpenAlexW2501639037MaRDI QIDQ5839930
No author found.
Publication date: 1940
Full work available at URL: https://doi.org/10.1515/9781400881635
Related Items (only showing first 100 items - show all)
Frege's double correlation thesis and Quine's set theories NF and ML ⋮ Cantor and generalized continuum hypotheses may be false ⋮ The 1966 International Congress of Mathematicians: A Micro-memoir ⋮ A theory of infinitary relations extending Zermelo's theory of infinitary propositions ⋮ Formalization of Forcing in Isabelle/ZF ⋮ TREE FORCING AND DEFINABLE MAXIMAL INDEPENDENT SETS IN HYPERGRAPHS ⋮ Axiomatic Thinking—Applied to Religion ⋮ Coanalytic ultrafilter bases ⋮ On some functions topological spaces, graphs... ⋮ Justification of the continuum hypothesis ⋮ Unnamed Item ⋮ Universally meager sets and principles of generic continuity and selection in Banach spaces ⋮ The Topology of Change: Foundations of Probability with Black Swans ⋮ Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics ⋮ The irreducibility of impredicative principles ⋮ Counting systems and the first Hilbert problem ⋮ Unnamed Item ⋮ The generalized continuum hypothesis is equivalent to the generalized maximization principle ⋮ A Little Ado about Rectangles ⋮ Elementary embeddings and infinitary combinatorics ⋮ La prédicativité ⋮ The foundations of probability with black swans ⋮ Computations with Grossone-Based Infinities ⋮ Seminorms and the Egoroff Property in Riesz Spaces ⋮ MEAGER-ADDITIVE SETS IN TOPOLOGICAL GROUPS ⋮ GENERIC LARGE CARDINALS AS AXIOMS ⋮ Computer proofs about finite and regular sets: The unifying concept of subvariance. ⋮ Sets constructible from sequences of ultrafilters ⋮ INCOMPLETENESS VIA PARADOX AND COMPLETENESS ⋮ Strong failures of higher analogs of Hindman’s theorem ⋮ Unnamed Item ⋮ Reduced Products and Horn Classes ⋮ Developing arithmetic in set theory without infinity: some historical remarks ⋮ Unnamed Item ⋮ Axiom of Choice, Maximal Independent Sets, Argumentation and Dialogue Games ⋮ Axiomatic derivation of the continuum hypothesis ⋮ Unnamed Item ⋮ The Structure of Certain Unitary Representations of Infinite Symmetric Groups ⋮ Representing model theory in a type-theoretical logical framework ⋮ The theory of transfinite recursion ⋮ A Recursion-Theoretic Characterization of the Ramified Analytical Hierarchy ⋮ Unnamed Item ⋮ AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS ⋮ Life on the Range: Quine’s Thesis and Semantic Indeterminacy ⋮ Asymptotic Quasi-completeness and ZFC ⋮ On the Constructive and Computational Content of Abstract Mathematics ⋮ On Relating Theories: Proof-Theoretical Reduction ⋮ The scope of Feferman's semi-intuitionistic set theories and his second conjecture ⋮ The Structure of Certain Unitary Representations of Infinite Symmetric Groups ⋮ Register computations on ordinals ⋮ Absolutely non‐measurable and singular co‐analytic set ⋮ Discriminator varieties and symbolic computation ⋮ On sets, types, fixed points, and checkerboards ⋮ Implications of Einstein-Weyl Causality on Quantum Mechanics ⋮ Unnamed Item ⋮ Full classes and ordinals ⋮ Remarks on a paper by J. Mycielski ⋮ Logic, sets, and mathematics ⋮ A minimal model for set theory ⋮ On the possibility of a Σ21well-ordering of the Baire space ⋮ Extension Methods in Cardinal Arithmetic ⋮ Infinite Abelian groups, Whitehead problem and some constructions ⋮ Levy and set theory ⋮ Some set-theoretical partition theorems suggested by the structure of Spinoza's God ⋮ The universal class has a Spinozistic partitioning ⋮ Singular cohomology in \(L\) ⋮ On generalized computational complexity ⋮ Robinson forcing is not absolute ⋮ Why Sets? ⋮ Kurt Gödel's intellectual development. [In memoriam Kurt Gödel (28 April 1906 -- 14 January 1978).] ⋮ Turing Computations On Ordinals ⋮ Game-theoretical aspects of the Borel conjecture ⋮ Ramsey theory and the Borel conjecture ⋮ Predicativity and Feferman ⋮ Cantor-like transfinite sequences and Gödel-like incompleteness revealed by means of Mersenne transfinite dimensional Boolean hypercube concatenation ⋮ W.A.J. Luxemburg's Beweis des Satzes von Hahn-Banach ⋮ Некоторые замечания о нестандартных методах анализа. I ⋮ Why is the universe of sets not a set? ⋮ Proper classes as members of extended sets ⋮ Omitting Types: Application to Descriptive Set Theory ⋮ Die Inklusionsrelation zwischen Universa und ein abgeschwächtes Fundierungsaxiom ⋮ Strong measure zero and meager-additive sets through the prism of fractal measures ⋮ Projective Measure Without Projective Baire ⋮ Large superuniversal metric spaces ⋮ Structural relativity and informal rigour ⋮ Cichoń's maximum without large cardinals ⋮ Imbedding of Abelian Categories ⋮ First steps towards a formalization of forcing ⋮ Modal Platonism: an easy way to avoid ontologial commitment to abstract entities ⋮ Constructive Versions of Ordinal Number Classes ⋮ How Woodin changed his mind: new thoughts on the continuum hypothesis ⋮ Reflection principles, generic large cardinals, and the continuum problem ⋮ Truth Definitions, Skolem Functions and Axiomatic Set Theory ⋮ Sigma-Prikry forcing I: The Axioms ⋮ Completions of partially ordered sets and universal algebras ⋮ Homological Algebra and Set Theory ⋮ On a set theory of bernays ⋮ The Bergman-Shelah preorder on transformation semigroups ⋮ Some applications of infinitely long formulas ⋮ Unnamed Item
This page was built for publication: Consistency of the Continuum Hypothesis. (AM-3)
