scientific article; zbMATH DE number 3289430

zbMath0182.01301MaRDI QIDQ5573370

Paul Joseph Cohen

Publication date: 1966

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algebraic logic, model theory

Related Items (only showing first 100 items - show all)

The independence of the Prime Ideal Theorem from the Order-Extension Principle ⋮ The 1966 International Congress of Mathematicians: A Micro-memoir ⋮ Outer models and genericity ⋮ Generic Embeddings ⋮ Injectivity, Projectivity, and the Axiom of Choice ⋮ Transfer principle in quantum set theory ⋮ Gödel on deduction ⋮ The independence of Ramsey's theorem ⋮ Axiomatic Thinking—Applied to Religion ⋮ The Philosophical Impact of the Löwenheim-Skolem Theorem ⋮ Contraction Maps in Pseudometric Structures ⋮ THE SET-THEORETIC MULTIVERSE ⋮ Leibnizian models of set theory ⋮ A choice free theory of Dedekind cardinals ⋮ Hamel bases and well–ordering the continuum ⋮ Counting systems and the first Hilbert problem ⋮ Cardinal arithmetic for skeptics ⋮ The generalized continuum hypothesis is equivalent to the generalized maximization principle ⋮ Quantum set theory: transfer principle and De Morgan's laws ⋮ Admissible ordinals and intrinsic consistency ⋮ An embedding of classical logic in S4 ⋮ Finiteness classes arising from Ramsey-theoretic statements in set theory without choice ⋮ Weak Forms of the Axiom of Choice and the Generalized Continuum Hypothesis ⋮ Remarks on Levy's reflection axiom ⋮ Homological Dimension and the Continuum Hypothesis ⋮ Topological groups and the generalized continuum hypothesis ⋮ Axioms of symmetry: Throwing darts at the real number line ⋮ Formalizing Ordinal Partition Relations Using Isabelle/HOL ⋮ Operational Meanings of Orders of Observables Defined through Quantum Set Theories with Different Conditionals ⋮ COPYING ONE OF A PAIR OF STRUCTURES ⋮ Chaotic neural nets, computability, and undecidability: Toward a computational dynamics ⋮ On Measurability and Regularity ⋮ Long Borel hierarchies ⋮ Countable infinite existentially closed models of universally axiomatizable theories ⋮ The positive properties of isolic integers ⋮ ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY ⋮ Meir–Keeler Sequential Contractions and Applications ⋮ On one of Specker's theorems ⋮ On the consistency of the generalized continuum hypothesis ⋮ INCOMPLETENESS VIA PARADOX AND COMPLETENESS ⋮ Forcing for the impredicative theory of classes ⋮ On the inadequacy of inner models ⋮ Models of set theory with more real numbers than ordinals ⋮ A large power set axiom ⋮ The axiom of choice for well-ordered families and for families of well-orderable sets ⋮ Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods ⋮ An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory ⋮ Perfect nonlinear S-boxes on the real-line ⋮ PPF Dependent Fixed Points in Razumikhin Metrical Chains ⋮ One hundred and two problems in mathematical logic ⋮ Function Variational Principles and Normed Minimizers ⋮ Nadler-Liu Functional Contractions in Metric Spaces ⋮ Banishing Ultrafilters from Our Consciousness ⋮ Relations Between Some Cardinals in the Absence of the Axiom of Choice ⋮ CANTORIAN SET THEORY ⋮ On the Boundary Behavior of Holomorphic and Harmonic Functions ⋮ Unitary representations of the hyperfinite Heisenberg group and the logical extension methods in physics ⋮ Layered map reasoning ⋮ Ultrafilters: Some old and some new results ⋮ The Σ₂¹ theory of axioms of symmetry ⋮ An algebraic difference between isols and cosimple isols ⋮ Skolem and pessimism about proof in mathematics ⋮ Primitive recursive ordinal functions with added constants ⋮ Internal set theory: A new approach to nonstandard analysis ⋮ Lattice initial segments of the hyperdegrees ⋮ Maximal and Variational Principles in Vector Spaces ⋮ Variant-Based Satisfiability in Initial Algebras ⋮ Imbedding of the quantum logic in the modal system of Brower ⋮ Trees ⋮ Feedback Loops: A Fundamental Ingredient of Information Processing ⋮ Cohen and Set Theory ⋮ Jumping through the transfinite: the master code hierarchy of Turing degrees ⋮ GENERICITY AND RANDOMNESS WITH ITTMS ⋮ ON RAMSEY’S THEOREM AND THE EXISTENCE OF INFINITE CHAINS OR INFINITE ANTI-CHAINS IN INFINITE POSETS ⋮ Products of Baire Spaces ⋮ Некоторые замечания о нестандартных методах анализа. I ⋮ Булевозначный подход к анализу условного риска ⋮ Eine konstruktive Darstellung für die Richtigkeit der Kontinuumshypothese ⋮ \(\omega_1\) can be measurable ⋮ Proper classes as members of extended sets ⋮ The logic of inexact concepts ⋮ Formal Proof: Reconciling Correctness and Understanding ⋮ AN AXIOMATIC THEORY OF WELL-ORDERINGS ⋮ Lusin Sets and Well Ordering the Continuum ⋮ On the reducibility of \(\Pi_ 1^ 1\) sets ⋮ Partially ordered interpretations ⋮ Non-constructive properties of cardinal numbers ⋮ New representation of rotation and Lorentz groups based on a model of non-Cantorian set theory ⋮ Directed graphs over topological spaces: some set theoretical aspects ⋮ The Structure of Dedekind Cardinals ⋮ UNIVERSISM AND EXTENSIONS OF V ⋮ Contractive Operators in Relational Metric Spaces ⋮ ω-circularity of Yablo's paradox ⋮ On a Ubiquitous Cardinal ⋮ The model of set theory generated by countably many generic reals ⋮ Truth Definitions, Skolem Functions and Axiomatic Set Theory ⋮ A proof of the independence of the continuum hypothesis ⋮ Cartesian Products of Metric Baire Spaces ⋮ Generic expansions of structures ⋮ Independence Results on the Global Structure of the Turing Degrees

This page was built for publication: