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)

• Boolean-valued set theory and forcing
• On the necessary use of abstract set theory
• Cardinal representatives
• 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
• 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
• On the boundary behavior of holomorphic and harmonic functions
• 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
• Cantorian set theory
• 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
• An axiomatic theory of well-orderings
• 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\)
• Analytic methods in Rhoades contractions theory
• Ekeland variational principles in 2-local branciari metric spaces
• Homotopic metric-interval L-contractions in gauge spaces
• Banishing ultrafilters from our consciousness
• Lattice initial segments of the hyperdegrees
• On explicating the concept `the power of an arithmetical theory'
• The Philosophical Impact of the Löwenheim-Skolem Theorem
• Formalizing ordinal partition relations using Isabelle/HOL
• Некоторые замечания о нестандартных методах анализа. I
• Hindman’s theorem in the hierarchy of choice principles
• Ground confluence of order-sorted conditional specifications modulo axioms
• COPYING ONE OF A PAIR OF STRUCTURES
• Layered map reasoning: an experimental approach put to trial on sets
• A choice free theory of Dedekind cardinals
• On the formalization of theories
• Feedback loops: a fundamental ingredient of information processing
• Iterated admissibility through forcing in strategic belief models
• Topological groups and the generalized continuum hypothesis
• Universism and extensions of \(V\)
• Meir–Keeler Sequential Contractions and Applications
• Outer models and genericity
• PPF Dependent Fixed Points in Razumikhin Metrical Chains
• Nadler-Liu Functional Contractions in Metric Spaces
• A large power set axiom
• Lusin Sets and Well Ordering the Continuum
• An Aristotelian approach to mathematical ontology
• Reasoning on relations, modalities, and sets
• On the consistency of the generalized continuum hypothesis
• On the inadequacy of inner models
• On one of Specker's theorems
• How many real numbers are there?
• Higher randomness and forcing with closed sets
• Surreal substructures
• Genericity and randomness with ITTMs
• Skolem and pessimism about proof in mathematics
• Distilling the requirements of Gödel's incompleteness theorems with a proof assistant
• Quantum mechanics, formalization and the cosmological constant problem
• Properties of the real line and weak forms of the Axiom of Choice
• A proof of Hume's separation thesis based on a formal system for descriptive and normative statements
• Singular cardinals
• Interview With a Set Theorist
• Kleene fixed point theorems and applications
• An interview with Teddy Seidenfeld
• Learning from the masters (and some of their pupils)
• A Boolean valued analysis approach to conditional risk
• Eine konstruktive Darstellung für die Richtigkeit der Kontinuumshypothese

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)