The following pages link to (Q3022775):
Displaying 46 items.
- Derived rules for predicative set theory: an application of sheaves (Q448333) (← links)
- A category-theoretic approach to Boolean-valued models of set theory (Q580339) (← links)
- Nonstandard tools of nonsmooth analysis (Q715037) (← links)
- Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator (Q1096625) (← links)
- Modality and possibility in some intuitionistic modal logics (Q1099162) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Constructing illoyal algebra-valued models of set theory (Q2046361) (← links)
- Non-classical models of \(\mathsf{ZF}\) (Q2046876) (← links)
- On sheaf cohomology and natural expansions (Q2054954) (← links)
- Reforming Takeuti's quantum set theory to satisfy De Morgan's laws (Q2097061) (← links)
- ZF between classicality and non-classicality (Q2115287) (← links)
- Ideal objects for set theory (Q2144207) (← links)
- Quantum mechanics, formalization and the cosmological constant problem (Q2151532) (← links)
- Quantum set theory: transfer principle and De Morgan's laws (Q2659103) (← links)
- Radical theory of Scott-open filters (Q2682912) (← links)
- Second order arithmetic as the model companion of set theory (Q2700811) (← links)
- Transfinite cardinals in paraconsistent set theory (Q2890698) (← links)
- (Q3007387) (← links)
- Forcing, Multiverse and Realism (Q3295824) (← links)
- From Quantum-Mechanical Lattice of Projections to Smooth Structure of $$\mathbb {R}^4$$R4 (Q3296112) (← links)
- Point-Free Spectra of Linear Spreads (Q3305641) (← links)
- Incompleteness in a General Setting (Q3594482) (← links)
- Reconsidering Ordered Pairs (Q3616436) (← links)
- (Q3710519) (← links)
- ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY (Q4600827) (← links)
- (Q4971903) (← links)
- Twist-Valued Models for Three-Valued Paraconsistent Set Theory (Q5013621) (← links)
- Operational Meanings of Orders of Observables Defined through Quantum Set Theories with Different Conditionals (Q5014787) (← links)
- NON-CLASSICAL FOUNDATIONS OF SET THEORY (Q5070473) (← links)
- LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT (Q5099785) (← links)
- (Q5116146) (← links)
- Rasiowa–Sikorski Sets and Forcing (Q5214735) (← links)
- Ordering groups constructively (Q5238136) (← links)
- GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY (Q5247349) (← links)
- (Q5593821) (← links)
- Use Model Theory in Nonsmooth Analysis (Q5745747) (← links)
- The algebra of conditional sets and the concepts of conditional topology and compactness (Q5962573) (← links)
- Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem (Q6094124) (← links)
- Forcing revisited (Q6096804) (← links)
- \(\mathsf{ZF}\) and its interpretations (Q6131202) (← links)
- Constructing the constructible universe constructively (Q6145038) (← links)
- INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES (Q6148462) (← links)
- A BRIDGE BETWEEN Q-WORLDS (Q6153159) (← links)
- TWO ARGUMENTS AGAINST THE GENERIC MULTIVERSE (Q6193398) (← links)
- A study of rough inclusion on algebras with quasi-Boolean base (Q6570322) (← links)
- Boolean-valued models of set theory with urelements (Q6589314) (← links)
