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