scientific article
From MaRDI portal
Publication:4039735
zbMATH Open0649.18004MaRDI QIDQ4039735FDOQ4039735
Publication date: 5 June 1993
Title of this publication is not available (Why is that?)
Recommendations
- scientific article
- scientific article; zbMATH DE number 3899134
- Sheaves in geometry and logic: a first introduction to topos theory
- scientific article; zbMATH DE number 2172009
- Publication:4893207
- scientific article
- scientific article; zbMATH DE number 3906692
- Generic figures and their glueings. A constructive approach to functor categories
- Topo-logie
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)
Cited In (88)
- The Evil Twin: The Basics of Complement-Toposes
- A Minimalist Foundation at Work
- A sheaf-theoretic topos model of the physical ‘Continuum’ and its cohomological observable dynamics
- For a Continued Revival of the Philosophy of Mathematics
- Towards Measurable Types for Dynamical Process Modeling Languages
- A Topos-Theoretic Approach to Counterfactual Logic
- Reflection principles for synthetic theories of smooth manifolds
- An induction principle and pigeonhole principles for K-finite sets
- A CRITICAL NOTE ON BUNGE'S ‘SYSTEM BOUNDARY’ AND A NEW PROPOSAL
- Local set theory
- On sheaf cohomology and natural expansions
- Precovers, Modalities and Universal Closure Operators in a Topos
- Incompleteness in a General Setting
- Group action in topos quantum physics
- Radical theory of Scott-open filters
- Logic in Category Theory
- THE GENETIC VERSUS THE AXIOMATIC METHOD: RESPONDING TO FEFERMAN 1977
- On the dependent product in toposes
- Category-theoretic analysis of the notion of complementarity for quantum systems
- Boolean information sieves: a local-to-global approach to quantum information
- Topo-logie
- ON THE SYNTAX OF LOGIC AND SET THEORY
- Incompleteness results in Kripke semantics
- Logical quantization of topos theory
- The strength of Mac Lane set theory
- Title not available (Why is that?)
- Empirical set theory
- Category-theoretic structure and radical ontic structural realism
- Boolean Algebras and Distributive Lattices Treated Constructively
- From (Paraconsistent) Topos Logic to Universal (Topos) Logic
- 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
- Classical and quantum probabilities as truth values
- Title not available (Why is that?)
- 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
- Empirical quantum mechanics
- Title not available (Why is that?)
- Existential Fixed-Point Logic, Universal Quantifiers, and Topoi
- Logics and quantum gravity
- A topos perspective on state-vector reduction
- Embedding locales and formal topologies into positive topologies
- Title not available (Why is that?)
- Title not available (Why is that?)
- Elementary axioms for local maps of toposes
- A CONSTRUCTIVE EXAMINATION OF A RUSSELL-STYLE RAMIFIED TYPE THEORY
- Hilbert's ϵ‐operator in intuitionistic type theories
- Topological inductive definitions
- A topos perspective on state-vector reduction
- 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 Boolean model of ultrafilters
- Categorical representation of locally Noetherian log schemes
- Topos models for physics and topos theory
- Mathematical modal logic: A view of its evolution
- A topos foundation for theories of physics: IV. Categories of systems
- Surveyable sets
- Finite sets and frege structures
- Intuitionistic sets and ordinals
- Category-theoretic interpretative framework of the complementarity principle in quantum mechanics
- Foundations of fuzzy sets
- Title not available (Why is that?)
- A categorial semantic representation of quantum event structures
- Topos-theoretic extension of a modal interpretation of quantum mechanics
- Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?
- TOPOS-THEORETIC CLASSIFICATION OF QUANTUM EVENTS STRUCTURES IN TERMS OF BOOLEAN REFERENCE FRAMES
- \(U\)-Sets as a possibilistic set theory
- Topos theory and consistent histories: The internal logic of the set of all consistent sets
- Sheaf-theoretic representation of quantum measure algebras
- Internal diagrams and archetypal reasoning in category theory
- Bohrification of operator algebras and quantum logic
- Seven trees in one
- Title not available (Why is that?)
- A topos formulation of history quantum theory
- Category theory and the foundations of mathematics: philosophical excavations.
- 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
- Quantum observables algebras and abstract differential geometry: the topos-theoretic dynamics of diagrams of commutative algebraic localizations
- Relating first-order set theories, toposes and categories of classes
- Constructive Sheaf Semantics
- Logical quantization of differential geometry
- Zorn's lemma and complete Boolean algebras in intuitionistic type theories
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)
