scientific article; zbMATH DE number 3289430

zbMATH Open0182.01301MaRDI QIDQ5573370FDOQ5573370

Authors: Paul J. Cohen 

Publication date: 1966

Title of this publication is not available (Why is that?)

zbMATH Keywords

algebraic logic, model theory

Cited In (only showing first 100 items - show all)

• Resolution of the cohomology comparison problem for amenable Banach algebras
• Infinite coforcing in model theory
• An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory
• Weak Forms of the Axiom of Choice and the Generalized Continuum Hypothesis
• Logical quantization of topos theory
• Sheaf models for set theory
• Six impossible rings
• An embedding of classical logic in S4
• Models of set theory with more real numbers than ordinals
• The independence of the Prime Ideal Theorem from the Order-Extension Principle
• Truth Definitions, Skolem Functions and Axiomatic Set Theory
• Injectivity, Projectivity, and the Axiom of Choice
• On the consistency of Borel's conjecture
• Rings of real-valued continuous functions. II
• Independence-friendly logic and axiomatic set theory
• The theorem of Gleason for non-separable Hilbert spaces
• The Σ₂¹ theory of axioms of symmetry
• Exponents of some N-compact spaces
• Category theory, logic and formal linguistics: some connections, old and new
• Long Borel hierarchies
• \(\omega_1\) can be measurable
• Independence Results on the Global Structure of the Turing Degrees
• Categorical set theory: A characterization of the category of sets
• Vagueness, truth and logic
• Map theory
• Directed graphs over topological spaces: some set theoretical aspects
• On supernormal Ehresmann-Dedecker universes
• Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\)
• Unitary representations of the hyperfinite Heisenberg group and the logical extension methods in physics
• Jumping through the transfinite: the master code hierarchy of Turing degrees
• Levy and set theory
• Dealing with zero-time transitions in axiom systems.
• Cohen and Set Theory
• On the realization of convex polytopes, Euler's formula and Möbius functions
• On Ramsey's theorem and the existence of infinite chains or infinite anti-chains in infinite posets
• The set-theoretic multiverse
• Axioms of symmetry: Throwing darts at the real number line
• Measurable cardinals and the continuum hypothesis
• A simple dynamic logic
• Forcing for the impredicative theory of classes
• A Suppes predicate for general relativity and set-theoretically generic spacetimes
• The consistency strength of projective absoluteness
• Internal set theory: A new approach to nonstandard analysis
• Mathematical metaphysics of randomness
• Cardinality of bicompacta with the weak first countability axiom
• Undecidability and incompleteness in classical mechanics
• Independence results concerning the number of nowhere dense sets necessary to cover the real line
• Generalized Iteration of Forcing
• The logic of inexact concepts
• Hypersets
• Automated search for Gödel's proofs
• Justification of the continuum hypothesis
• A Dedekind finite Borel set
• Program logic and equivalence in the presence of garbage collection.
• A survey of predicate realizability logic
• Boolean-valued analysis of order-bounded operators
• Infinite Abelian groups, Whitehead problem and some constructions
• Are mathematical theories reducible to non-analytic foundations?
• Leibnizian models of set theory
• Higher Kurtz randomness
• ω-circularity of Yablo's paradox
• Models of set theory with definable ordinals
• The independence of Ramsey's theorem
• Paul Cohen and forcing in 1963
• Links between physics and set theory.
• Lowness of higher randomness notions
• Imbedding of the quantum logic in the modal system of Brower
• Cartesian Products of Metric Baire Spaces
• A finitely axiomatized formalization of predicate calculus with equality
• A proof of the independence of the continuum hypothesis
• Maximal and Variational Principles in Vector Spaces
• Variant-Based Satisfiability in Initial Algebras
• Continuing horrors of topology without choice
• Counting systems and the first Hilbert problem
• Ultrafilters: Some old and some new results
• Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods
• N. N. Luzin's problems on imbeddability and decomposability of projective sets
• On Measurability and Regularity
• Relations between some cardinals in the absence of the axiom of choice
• Cardinal arithmetic for skeptics
• Products of Baire Spaces
• Sets and supersets
• Trees
• Forcing formulas in Fraïssé structures and classes
• On supernormal Ehresmann-Dedecker universes
• One hundred and two problems in mathematical logic
• Using forcing to prove completeness of resolution and paramodulation
• On the Boundary Behavior of Holomorphic and Harmonic Functions
• Boolean-valued set theory and forcing
• On the necessary use of abstract set theory
• Cardinal representatives
• CANTORIAN SET THEORY
• Forcing infinito generalizzato in teoria dei modelli
• Robinson forcing is not absolute
• The problem of the continuum
• The independence results of set theory: An informal exposition
• AN AXIOMATIC THEORY OF WELL-ORDERINGS
• von Neumann standard quantum mechanics is logically inconsistent
• Borel preference orders in markets with a continuum of traders
• Theory of proofs (arithmetic and analysis)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5573370)