scientific article; zbMATH DE number 192841
From MaRDI portal
Publication:4039735
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Categorical logic, topoi (03G30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) Topoi (18B25) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to category theory (18-02)
Recommendations
- scientific article; zbMATH DE number 49691
- scientific article; zbMATH DE number 3899134
- Sheaves in geometry and logic: a first introduction to topos theory
- scientific article; zbMATH DE number 2172009
- scientific article; zbMATH DE number 922679
- scientific article; zbMATH DE number 53544
- scientific article; zbMATH DE number 3906692
- Generic figures and their glueings. A constructive approach to functor categories
- Topo-logie
Cited in
(90)- Logical quantization of differential geometry
- Constructive Sheaf Semantics
- Zorn's lemma and complete Boolean algebras in intuitionistic type theories
- Incompleteness results in Kripke semantics
- Topo-logie
- Empirical set theory
- Logical quantization of topos theory
- scientific article; zbMATH DE number 1840601 (Why is no real title available?)
- Category-theoretic structure and radical ontic structural realism
- The strength of Mac Lane set theory
- Boolean Algebras and Distributive Lattices Treated Constructively
- Infinite populations, choice and determinacy
- The mixture transition distribution model for high-order Markov chains and non-Gaussian time series
- Contextual semantics in quantum mechanics from a categorical point of view
- An intuitionistic version of Zermelo's proof that every choice set can be well-ordered
- A sheaf-theoretic topos model of the physical ‘Continuum’ and its cohomological observable dynamics
- Classical and quantum probabilities as truth values
- Boolean coverings of quantum observable structure: a setting for an abstract differential geometric mechanism
- Interpreting HOL in the calculus of constructions
- Empirical sets
- The logical quantization of algebraic groups
- scientific article; zbMATH DE number 2117177 (Why is no real title available?)
- Empirical quantum mechanics
- Logics and quantum gravity
- Embedding locales and formal topologies into positive topologies
- A topos perspective on state-vector reduction
- Elementary axioms for local maps of toposes
- scientific article; zbMATH DE number 2172009 (Why is no real title available?)
- scientific article; zbMATH DE number 2222246 (Why is no real title available?)
- Hilbert's ϵ‐operator in intuitionistic type theories
- Topological inductive definitions
- scientific article; zbMATH DE number 53544 (Why is no real title available?)
- From (paraconsistent) topos logic to universal (topos) logic
- Logical quantizations of first-order structures
- The homological Kähler-de Rham differential mechanism. I: Application in general theory of relativity
- The homological Kähler-de Rham differential mechanism. II: Sheaf-theoretic localization of quantum dynamics
- Quantum number theory
- A topos perspective on state-vector reduction
- A Boolean model of ultrafilters
- Categorical representation of locally Noetherian log schemes
- A Topos-Theoretic Approach to Counterfactual Logic
- Mathematical modal logic: A view of its evolution
- Reflection principles for synthetic theories of smooth manifolds
- Topos models for physics and topos theory
- The evil twin: the basics of complement-toposes
- Logic in category theory
- An induction principle and pigeonhole principles for K-finite sets
- Surveyable sets
- A topos foundation for theories of physics: IV. Categories of systems
- A CRITICAL NOTE ON BUNGE'S ‘SYSTEM BOUNDARY’ AND A NEW PROPOSAL
- Finite sets and frege structures
- Local set theory
- On sheaf cohomology and natural expansions
- scientific article; zbMATH DE number 49691 (Why is no real title available?)
- Category-theoretic interpretative framework of the complementarity principle in quantum mechanics
- A categorial semantic representation of quantum event structures
- Foundations of fuzzy sets
- Topos-theoretic extension of a modal interpretation of quantum mechanics
- Intuitionistic sets and ordinals
- Precovers, Modalities and Universal Closure Operators in a Topos
- scientific article; zbMATH DE number 1746890 (Why is no real title available?)
- Incompleteness in a General Setting
- Finiteness and computation in toposes
- Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?
- On the syntax of logic and set theory
- Radical theory of Scott-open filters
- Group action in topos quantum physics
- TOPOS-THEORETIC CLASSIFICATION OF QUANTUM EVENTS STRUCTURES IN TERMS OF BOOLEAN REFERENCE FRAMES
- THE GENETIC VERSUS THE AXIOMATIC METHOD: RESPONDING TO FEFERMAN 1977
- A constructive examination of a Russell-style ramified type theory
- Topos theory and consistent histories: The internal logic of the set of all consistent sets
- \(U\)-Sets as a possibilistic set theory
- On the dependent product in toposes
- Internal diagrams and archetypal reasoning in category theory
- Bohrification of operator algebras and quantum logic
- Seven trees in one
- Category-theoretic analysis of the notion of complementarity for quantum systems
- Sheaf-theoretic representation of quantum measure algebras
- A minimalist foundation at work
- Category theory and the foundations of mathematics: philosophical excavations.
- scientific article; zbMATH DE number 922679 (Why is no real title available?)
- A topos formulation of history quantum theory
- Existential fixed-point logic, universal quantifiers, and topoi
- Quantum observables algebras and abstract differential geometry: the topos-theoretic dynamics of diagrams of commutative algebraic localizations
- A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory
- A topos foundation for theories of physics: I. Formal languages for physics
- Relating first-order set theories, toposes and categories of classes
- For a continued revival of the philosophy of mathematics
- Boolean information sieves: a local-to-global approach to quantum information
- Towards measurable types for dynamical process modeling languages
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4039735)
