scientific article; zbMATH DE number 3289430

zbMATH Open0182.01301MaRDI QIDQ5573370FDOQ5573370

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)

• 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)
• Gödel on deduction
• A semantic hierarchy for intuitionistic logic
• Sacks forcing does not always produce a minimal upper bound
• Formal Proof: Reconciling Correctness and Understanding
• Transfer principle in quantum set theory
• Quantum set theory extending the standard probabilistic interpretation of quantum theory
• Set theory and the analyst
• Proper classes as members of extended sets
• The model of set theory generated by countably many generic reals
• Extensions of the measurable choice theorem by means of forcing
• Cantor and generalized continuum hypotheses may be false
• Positive theories of free inverse semigroups
• Gödel's incompleteness theorem
• The axiom of choice for well-ordered families and for families of well-orderable sets
• Independence of two set-theoretic statements in the theory of summation
• Quantum set theory: transfer principle and De Morgan's laws
• Is there an ontology of infinity?
• On a Ubiquitous Cardinal
• Determinacy of refinements to the difference hierarchy of co-analytic sets
• A single axiom for set theory
• Forcing in nonstandard analysis
• Homological Dimension and the Continuum Hypothesis
• On the effective content of asymptotic verifications of Edgeworth's Conjecture
• Iterated extended ultrapowers and supercompactness without choice
• Final compactness and separability in regular symmetrizable spaces
• On the independence of core-equivalence results from Zermelo-Fraenkel set theory
• The generalized continuum hypothesis is equivalent to the generalized maximization principle
• Nonconstructive properties of well-ordered T\(_2\) topological spaces
• Chaotic neural nets, computability, and undecidability: Toward a computational dynamics
• Ultimate stochastic entities
• Countable infinite existentially closed models of universally axiomatizable theories
• Function Variational Principles and Normed Minimizers
• Admissible ordinals and intrinsic consistency
• Kinna-Wagner selection principles, axioms of choice and multiple choice
• Theory of Zermelo without power set axiom and the theory of Zermelo- Fraenkel without power set axiom are relatively consistent
• Generic Embeddings
• Finiteness classes arising from Ramsey-theoretic statements in set theory without choice
• Colouring without triangles and partition relation
• Remarks on Levy's reflection axiom
• Topos theory and Souslin's hypothesis
• Elementary extensions of Levy's model of \(A^-_2\)
• 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

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)