scientific article; zbMATH DE number 3289430

Cited in

(only showing first 100 items - show all)

Using forcing to prove completeness of resolution and paramodulation
One hundred and two problems in mathematical logic
On supernormal Ehresmann-Dedecker universes
Resolution of the cohomology comparison problem for amenable Banach algebras
Analytic methods in Rhoades contractions theory
Ekeland variational principles in 2-local branciari metric spaces
Homotopic metric-interval L-contractions in gauge spaces
Infinite coforcing in model theory
Boolean-valued set theory and forcing
Banishing ultrafilters from our consciousness
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
On the necessary use of abstract set theory
Logical quantization of topos theory
Sheaf models for set theory
Cardinal representatives
Six impossible rings
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
On explicating the concept `the power of an arithmetical theory'
von Neumann standard quantum mechanics is logically inconsistent
The Philosophical Impact of the Löwenheim-Skolem Theorem
Borel preference orders in markets with a continuum of traders
Lattice initial segments of the hyperdegrees
Models of set theory with more real numbers than ordinals
Ground confluence of order-sorted conditional specifications modulo axioms
An embedding of classical logic in S4
Formalizing ordinal partition relations using Isabelle/HOL
-circularity of Yablo's paradox
The independence of the Prime Ideal Theorem from the Order-Extension Principle
Некоторые замечания о нестандартных методах анализа. I
Theory of proofs (arithmetic and analysis)
Hindman’s theorem in the hierarchy of choice principles
COPYING ONE OF A PAIR OF STRUCTURES
On the consistency of Borel's conjecture
Truth Definitions, Skolem Functions and Axiomatic Set Theory
Injectivity, Projectivity, and the Axiom of Choice
Layered map reasoning: an experimental approach put to trial on sets
Independence-friendly logic and axiomatic set theory
Rings of real-valued continuous functions. II
Boolean algebras, partial orders and axiom of choice
A choice free theory of Dedekind cardinals
On the formalization of theories
Sacks forcing does not always produce a minimal upper bound
A semantic hierarchy for intuitionistic logic
Gödel on deduction
The theorem of Gleason for non-separable Hilbert spaces
Feedback loops: a fundamental ingredient of information processing
Iterated admissibility through forcing in strategic belief models
Category theory, logic and formal linguistics: some connections, old and new
The Σ₂¹ theory of axioms of symmetry
Exponents of some N-compact spaces
Formal Proof: Reconciling Correctness and Understanding
Topological groups and the generalized continuum hypothesis
Universism and extensions of \(V\)
Outer models and genericity
\(\omega_1\) can be measurable
Meir–Keeler Sequential Contractions and Applications
Long Borel hierarchies
PPF Dependent Fixed Points in Razumikhin Metrical Chains
Nadler-Liu Functional Contractions in Metric Spaces
Categorical set theory: A characterization of the category of sets
Vagueness, truth and logic
Independence Results on the Global Structure of the Turing Degrees
Map theory
A large power set axiom
Lusin Sets and Well Ordering the Continuum
Directed graphs over topological spaces: some set theoretical aspects
Quantum set theory extending the standard probabilistic interpretation of quantum theory
Transfer principle in quantum set theory
Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\)
Levy and set theory
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
On supernormal Ehresmann-Dedecker universes
Dealing with zero-time transitions in axiom systems.
An Aristotelian approach to mathematical ontology
Reasoning on relations, modalities, and sets
Set theory and the analyst
Proper classes as members of extended sets
On the consistency of the generalized continuum hypothesis
On the inadequacy of inner models
Cohen and Set Theory
On the realization of convex polytopes, Euler's formula and Möbius functions
On one of Specker's theorems
On Ramsey's theorem and the existence of infinite chains or infinite anti-chains in infinite posets
Measurable cardinals and the continuum hypothesis
The model of set theory generated by countably many generic reals
The set-theoretic multiverse
Extensions of the measurable choice theorem by means of forcing
Cantor and generalized continuum hypotheses may be false
Axioms of symmetry: Throwing darts at the real number line
A simple dynamic logic
Higher randomness and forcing with closed sets
Positive theories of free inverse semigroups
On the boundary behavior of holomorphic and harmonic functions
How many real numbers are there?
A Suppes predicate for general relativity and set-theoretically generic spacetimes

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)