scientific article
From MaRDI portal
zbMath1065.03034MaRDI QIDQ3022775
Publication date: 30 June 2005
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
TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY, Ideal objects for set theory, Quantum mechanics, formalization and the cosmological constant problem, NON-CLASSICAL FOUNDATIONS OF SET THEORY, Unnamed Item, Quantum set theory: transfer principle and De Morgan's laws, Operational Meanings of Orders of Observables Defined through Quantum Set Theories with Different Conditionals, LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT, Eliminating disjunctions by disjunction elimination, Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem, Forcing revisited, Radical theory of Scott-open filters, \(\mathsf{ZF}\) and its interpretations, Constructing the constructible universe constructively, INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES, A BRIDGE BETWEEN Q-WORLDS, ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY, TWO ARGUMENTS AGAINST THE GENERIC MULTIVERSE, Second order arithmetic as the model companion of set theory, Derived rules for predicative set theory: an application of sheaves, Forcing, Multiverse and Realism, From Quantum-Mechanical Lattice of Projections to Smooth Structure of $$\mathbb {R}^4$$R4, Point-Free Spectra of Linear Spreads, Use Model Theory in Nonsmooth Analysis, Incompleteness in a General Setting, Nonstandard tools of nonsmooth analysis, The algebra of conditional sets and the concepts of conditional topology and compactness, Reconsidering Ordered Pairs, Constructing illoyal algebra-valued models of set theory, Non-classical models of \(\mathsf{ZF}\), Rasiowa–Sikorski Sets and Forcing, Unnamed Item, On sheaf cohomology and natural expansions, Ordering groups constructively, GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY, Reforming Takeuti's quantum set theory to satisfy De Morgan's laws, Twist-Valued Models for Three-Valued Paraconsistent Set Theory, ZF between classicality and non-classicality
