The following pages link to (Q4039735):
Displaying 36 items.
- 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)
- A sheaf-theoretic topos model of the physical ‘Continuum’ and its cohomological observable dynamics (Q3603707) (← links)
- Incompleteness results in Kripke semantics (Q3984427) (← links)
- Sets, Topoi and Intuitionism (Q4224765) (← links)
- Boolean Algebras and Distributive Lattices Treated Constructively (Q4238433) (← links)
- Hilbert's ϵ‐operator in intuitionistic type theories (Q4304116) (← links)
- Constructive Sheaf Semantics (Q4351921) (← links)
- Reflection principles for synthetic theories of smooth manifolds (Q4378768) (← links)
- Zorn's lemma and complete Boolean algebras in intuitionistic type theories (Q4382475) (← links)
- Extensionality versus constructivity (Q4531082) (← links)
- A CONSTRUCTIVE EXAMINATION OF A RUSSELL-STYLE RAMIFIED TYPE THEORY (Q4637943) (← links)
- Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory? (Q4704657) (← links)
- An induction principle and pigeonhole principles for K-finite sets (Q4876318) (← links)
- A CRITICAL NOTE ON BUNGE'S ‘SYSTEM BOUNDARY’ AND A NEW PROPOSAL (Q4878151) (← links)
- Precovers, Modalities and Universal Closure Operators in a Topos (Q4888340) (← links)
- Topos theory (Q4893207) (← links)
- THE GENETIC VERSUS THE AXIOMATIC METHOD: RESPONDING TO FEFERMAN 1977 (Q4918377) (← links)
- Finite sets and frege structures (Q4948525) (← links)
- (Q5013820) (← links)
- Topo-logie (Q5164724) (← links)
- A Topos-Theoretic Approach to Counterfactual Logic (Q5170289) (← links)
- The Evil Twin: The Basics of Complement-Toposes (Q5241534) (← links)
- A topos formulation of history quantum theory (Q5249565) (← links)
- From (Paraconsistent) Topos Logic to Universal (Topos) Logic (Q5350337) (← links)
- Group action in topos quantum physics (Q5397779) (← links)
- A topos foundation for theories of physics: I. Formal languages for physics (Q5504926) (← links)
- A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory (Q5504927) (← links)
- A topos foundation for theories of physics: IV. Categories of systems (Q5504929) (← links)
- Intuitionistic sets and ordinals (Q5687312) (← links)
- A topos perspective on state-vector reduction (Q5898293) (← links)
- A topos perspective on state-vector reduction (Q5920656) (← links)
- The strength of Mac Lane set theory (Q5946048) (← links)
- On the dependent product in toposes (Q6047709) (← links)
