scientific article
From MaRDI portal
Publication:3710519
zbMath0585.03021MaRDI QIDQ3710519
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40)
Related Items (33)
Forcing in nonstandard analysis ⋮ CZF does not have the existence property ⋮ Boolean-valued analysis of order-bounded operators ⋮ A model for spacetime: the role of interpretation in some Grothendieck topoi ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Quantum set theory extending the standard probabilistic interpretation of quantum theory ⋮ The space of measurement outcomes as a spectral invariant for non-commutative algebras ⋮ Classification of injective Banach lattices ⋮ Commutative unital rings elementarily equivalent to prescribed product rings ⋮ Geometric characterization of preduals of injective Banach lattices ⋮ A Suppes predicate for general relativity and set-theoretically generic spacetimes ⋮ Boolean methods in positivity ⋮ Local possibilistic logic ⋮ On order bounded disjointness preserving operators ⋮ Indestructibility of Wholeness ⋮ On definable subgroups of the fundamental group ⋮ \(\mathbb{B}\)-fuzzy probabilities ⋮ Unitary representations of the hyperfinite Heisenberg group and the logical extension methods in physics ⋮ Boolean-valued analysis and injective Banach lattices ⋮ Sequent calculus and data fusion ⋮ Boolean coverings of quantum observable structure: a setting for an abstract differential geometric mechanism ⋮ A category-theoretic approach to Boolean-valued models of set theory ⋮ The Boolean transfer principle for injective Banach lattices ⋮ Теорема Гордона: истоки и смысл ⋮ \(U\)-Sets as a possibilistic set theory ⋮ A Paraconsistent Logic Obtained from an Algebra-Valued Model of Set Theory ⋮ Mathematical quantum theory. I: Random ultrafilters as hidden variables ⋮ Mathematical fuzzy logic as a tool for the treatment of vague information ⋮ Gödel and Intuitionism ⋮ Boolean Valued Analysis: Background and Results ⋮ Boolean-valued second-order logic ⋮ Minimal elementary extensions of models of set theory and arithmetic
This page was built for publication:
