scientific article; zbMATH DE number 3411031
From MaRDI portal
Publication:5676214
zbMath0261.02038MaRDI QIDQ5676214
Wilson M. Zaring, Gaisi Takeuti
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other model constructions (03C30) Set theory (03Exx)
Related Items (30)
Inducing implication relations ⋮ Forcing in nonstandard analysis ⋮ Logical quantization of topos theory ⋮ Empirical sets ⋮ Boolean-valued analysis of order-bounded operators ⋮ Unnamed Item ⋮ Quantum set theory: transfer principle and De Morgan's laws ⋮ Three roads to complete lattices: orders, compatibility, polarity ⋮ ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY ⋮ Propositional systems in local field theories ⋮ Boolean methods in positivity ⋮ On order bounded disjointness preserving operators ⋮ Set-to-Sequence Methods in Machine Learning: A Review ⋮ Boolean transfer from coherent quantum logics to quantum logics with continuous superselection rules ⋮ Empirical set theory ⋮ Boolean valued interpretation of Banach space theory and module structures of von Neumann algebras ⋮ A category-theoretic approach to Boolean-valued models of set theory ⋮ The Boolean transfer principle for injective Banach lattices ⋮ On the duality between Boolean-valued analysis and reduction theory under the assumption of separability ⋮ Products of Baire Spaces ⋮ A Boolean-valued approach to Gleason's theorem ⋮ Unnamed Item ⋮ Теорема Гордона: истоки и смысл ⋮ Boolean Valued Analysis: Background and Results ⋮ Subdifferentials in Boolean-valued models of set theory ⋮ Order-continuous functionals in Boolean-valued models of set theory ⋮ An approach to the dimension theory of continuous geometry from the standpoint of Boolean valued analysis ⋮ Large ideals on small cardinals ⋮ Boolean valued analysis and type I \(AW^*\)-algebras ⋮ Inference on the structure of gene regulatory networks
This page was built for publication:
