The following pages link to (Q4039735):
Displaying 50 items.
- Internal diagrams and archetypal reasoning in category theory (Q382414) (← links)
- Bohrification of operator algebras and quantum logic (Q383005) (← links)
- A categorial semantic representation of quantum event structures (Q385635) (← links)
- Relating first-order set theories, toposes and categories of classes (Q386623) (← links)
- Topological inductive definitions (Q450944) (← links)
- The homological Kähler-de Rham differential mechanism. I: Application in general theory of relativity (Q541161) (← links)
- The homological Kähler-de Rham differential mechanism. II: Sheaf-theoretic localization of quantum dynamics (Q666308) (← links)
- Empirical set theory (Q689299) (← links)
- Quantum observables algebras and abstract differential geometry: the topos-theoretic dynamics of diagrams of commutative algebraic localizations (Q878123) (← links)
- Topos-theoretic extension of a modal interpretation of quantum mechanics (Q1008115) (← links)
- A Boolean model of ultrafilters (Q1304549) (← links)
- Logics and quantum gravity (Q1345409) (← links)
- Topos theory and consistent histories: The internal logic of the set of all consistent sets (Q1357832) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Category theory and the foundations of mathematics: philosophical excavations. (Q1578766) (← links)
- Infinite populations, choice and determinacy (Q1615993) (← links)
- Contextual semantics in quantum mechanics from a categorical point of view (Q1708773) (← links)
- Quantum number theory (Q1770337) (← links)
- Boolean coverings of quantum observable structure: a setting for an abstract differential geometric mechanism (Q1781411) (← links)
- Surveyable sets (Q1788328) (← links)
- \(U\)-Sets as a possibilistic set theory (Q1827315) (← links)
- The mixture transition distribution model for high-order Markov chains and non-Gaussian time series (Q1872612) (← links)
- Categorical representation of locally Noetherian log schemes (Q1882959) (← links)
- Interpreting HOL in the calculus of constructions (Q1885479) (← links)
- Empirical sets (Q1891471) (← links)
- The logical quantization of algebraic groups (Q1897598) (← links)
- Seven trees in one (Q1901018) (← links)
- Logical quantization of differential geometry (Q1910872) (← links)
- Logical quantizations of first-order structures (Q1915367) (← links)
- Empirical quantum mechanics (Q1919234) (← links)
- On sheaf cohomology and natural expansions (Q2054954) (← links)
- Foundations of fuzzy sets (Q2277254) (← links)
- Category-theoretic interpretative framework of the complementarity principle in quantum mechanics (Q2280646) (← links)
- Logical quantization of topos theory (Q2365463) (← links)
- Category-theoretic structure and radical ontic structural realism (Q2441755) (← links)
- Radical theory of Scott-open filters (Q2682912) (← links)
- An intuitionistic version of Zermelo's proof that every choice set can be well-ordered (Q2758049) (← links)
- Classical and quantum probabilities as truth values (Q2861735) (← links)
- A Minimalist Foundation at Work (Q2909749) (← links)
- Logic in Category Theory (Q2909761) (← links)
- ON THE SYNTAX OF LOGIC AND SET THEORY (Q3066779) (← links)
- Boolean information sieves: a local-to-global approach to quantum information (Q3068125) (← links)
- Towards Measurable Types for Dynamical Process Modeling Languages (Q3178249) (← links)
- Topos models for physics and topos theory (Q3189927) (← links)
- For a Continued Revival of the Philosophy of Mathematics (Q3295843) (← links)
- TOPOS-THEORETIC CLASSIFICATION OF QUANTUM EVENTS STRUCTURES IN TERMS OF BOOLEAN REFERENCE FRAMES (Q3422207) (← links)
- Sheaf-theoretic representation of quantum measure algebras (Q3442021) (← links)
- Category-theoretic analysis of the notion of complementarity for quantum systems (Q3442624) (← links)
- Existential Fixed-Point Logic, Universal Quantifiers, and Topoi (Q3585999) (← links)
- Incompleteness in a General Setting (Q3594482) (← links)
