scientific article; zbMATH DE number 3289430

Cited in

(only showing first 100 items - show all)

Ultimate stochastic entities
A simple dynamic logic
Rings of real-valued continuous functions. II
Sacks forcing does not always produce a minimal upper bound
Sheaf models for set theory
Positive theories of free inverse semigroups
Independence of two set-theoretic statements in the theory of summation
On the necessary use of abstract set theory
Undecidability and incompleteness in classical mechanics
On the effective content of asymptotic verifications of Edgeworth's Conjecture
Hypersets
Iterated extended ultrapowers and supercompactness without choice
Final compactness and separability in regular symmetrizable spaces
Resolution of the cohomology comparison problem for amenable Banach algebras
Map theory
On the realization of convex polytopes, Euler's formula and Möbius functions
Cardinal representatives
Vagueness, truth and logic
Colouring without triangles and partition relation
Infinite coforcing in model theory
Infinite Abelian groups, Whitehead problem and some constructions
Elementary extensions of Levy's model of A^-_2
The theorem of Gleason for non-separable Hilbert spaces
On the consistency of Borel's conjecture
Borel preference orders in markets with a continuum of traders
Boolean-valued set theory and forcing
Robinson forcing is not absolute
The problem of the continuum
Forcing infinito generalizzato in teoria dei modelli
The independence results of set theory: An informal exposition
Theory of proofs (arithmetic and analysis)
On the independence of core-equivalence results from Zermelo-Fraenkel set theory
Mathematical metaphysics of randomness
Forcing in nonstandard analysis
Gödel's incompleteness theorem
Nonconstructive properties of well-ordered T₂ topological spaces
Justification of the continuum hypothesis
Kinna-Wagner selection principles, axioms of choice and multiple choice
Exponents of some N-compact spaces
von Neumann standard quantum mechanics is logically inconsistent
Quantum set theory extending the standard probabilistic interpretation of quantum theory
Determinacy of refinements to the difference hierarchy of co-analytic sets
Forcing formulas in Fraïssé structures and classes
A semantic hierarchy for intuitionistic logic
Automated search for Gödel's proofs
Models of set theory with definable ordinals
Theory of Zermelo without power set axiom and the theory of Zermelo- Fraenkel without power set axiom are relatively consistent
Cardinality of bicompacta with the weak first countability axiom
Categorical set theory: A characterization of the category of sets
Topos theory and Souslin's hypothesis
Six impossible rings
Measurable cardinals and the continuum hypothesis
Dealing with zero-time transitions in axiom systems.
A single axiom for set theory
Program logic and equivalence in the presence of garbage collection.
Cantor and generalized continuum hypotheses may be false
Continuing horrors of topology without choice
The consistency strength of projective absoluteness
A finitely axiomatized formalization of predicate calculus with equality
On the formalization of theories
Axiomatic derivation of the continuum hypothesis
Real set theory
Ekeland variational principles in 2-local branciari metric spaces
Homotopic metric-interval L-contractions in gauge spaces
Analytic methods in Rhoades contractions theory
Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\)
Distilling the requirements of Gödel's incompleteness theorems with a proof assistant
Perturbed geometric contractions in ordered metric spaces
Meir-Keeler sequential contractions and Pata fixed point results
Reflection principles, generic large cardinals, and the continuum problem
Is there an ontology of infinity?
Quantum mechanics, formalization and the cosmological constant problem
Forcing and the universe of sets: must we lose insight?
Iterated admissibility through forcing in strategic belief models
Singular cardinals
A proof of Hume's separation thesis based on a formal system for descriptive and normative statements
Extensions of the measurable choice theorem by means of forcing
Ground confluence of order-sorted conditional specifications modulo axioms
A Kuroda-style \(j\)-translation
Higher randomness and forcing with closed sets
Logical quantization of topos theory
True or false? A case in the study of harmonic functions
A unification of two approaches to vagueness: the Boolean many-valued approach and the modal-precisificational approach
Set theory and the analyst
On explicating the concept `the power of an arithmetical theory'
Levy and set theory
A survey of predicate realizability logic
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
On the reducibility of \(\Pi_ 1^ 1\) sets
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
Gödel on deduction
Counting systems and the first Hilbert problem
Quantum set theory: transfer principle and De Morgan's laws
Finiteness classes arising from Ramsey-theoretic statements in set theory without choice
On one of Specker's theorems

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)