scientific article

Publication date: 5 June 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

numbers sheaves classifying toposes Geometric theories local set theories locale-valued sets

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) Topoi (18B25) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01)

Related Items

The mixture transition distribution model for high-order Markov chains and non-Gaussian time series, Infinite populations, choice and determinacy, Logical quantization of topos theory, Sheaf-theoretic representation of quantum measure algebras, Category-theoretic analysis of the notion of complementarity for quantum systems, Categorical representation of locally Noetherian log schemes, Interpreting HOL in the calculus of constructions, Empirical sets, Logics and quantum gravity, Towards Measurable Types for Dynamical Process Modeling Languages, Incompleteness results in Kripke semantics, A Minimalist Foundation at Work, Logic in Category Theory, The logical quantization of algebraic groups, Seven trees in one, Topos theory and consistent histories: The internal logic of the set of all consistent sets, Topos models for physics and topos theory, Logical quantization of differential geometry, Logical quantizations of first-order structures, Empirical quantum mechanics, Hilbert's ϵ‐operator in intuitionistic type theories, Quantum observables algebras and abstract differential geometry: the topos-theoretic dynamics of diagrams of commutative algebraic localizations, 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, On the dependent product in toposes, From (Paraconsistent) Topos Logic to Universal (Topos) Logic, Radical theory of Scott-open filters, Unnamed Item, Contextual semantics in quantum mechanics from a categorical point of view, An induction principle and pigeonhole principles for K-finite sets, Topological inductive definitions, Category-theoretic structure and radical ontic structural realism, A CRITICAL NOTE ON BUNGE'S ‘SYSTEM BOUNDARY’ AND A NEW PROPOSAL, Mathematical modal logic: A view of its evolution, Intuitionistic sets and ordinals, Constructive Sheaf Semantics, Precovers, Modalities and Universal Closure Operators in a Topos, For a Continued Revival of the Philosophy of Mathematics, The homological Kähler-de Rham differential mechanism. II: Sheaf-theoretic localization of quantum dynamics, Group action in topos quantum physics, A CONSTRUCTIVE EXAMINATION OF A RUSSELL-STYLE RAMIFIED TYPE THEORY, A topos perspective on state-vector reduction, Reflection principles for synthetic theories of smooth manifolds, Zorn's lemma and complete Boolean algebras in intuitionistic type theories, Unnamed Item, Empirical set theory, THE GENETIC VERSUS THE AXIOMATIC METHOD: RESPONDING TO FEFERMAN 1977, An intuitionistic version of Zermelo's proof that every choice set can be well-ordered, A Topos-Theoretic Approach to Counterfactual Logic, The homological Kähler-de Rham differential mechanism. I: Application in general theory of relativity, A topos perspective on state-vector reduction, Existential Fixed-Point Logic, Universal Quantifiers, and Topoi, Quantum number theory, The strength of Mac Lane set theory, Incompleteness in a General Setting, Boolean coverings of quantum observable structure: a setting for an abstract differential geometric mechanism, Foundations of fuzzy sets, A sheaf-theoretic topos model of the physical ‘Continuum’ and its cohomological observable dynamics, Category-theoretic interpretative framework of the complementarity principle in quantum mechanics, Finite sets and frege structures, Surveyable sets, ON THE SYNTAX OF LOGIC AND SET THEORY, Boolean information sieves: a local-to-global approach to quantum information, Topos-theoretic extension of a modal interpretation of quantum mechanics, Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?, On sheaf cohomology and natural expansions, \(U\)-Sets as a possibilistic set theory, The Evil Twin: The Basics of Complement-Toposes, Category theory and the foundations of mathematics: philosophical excavations., TOPOS-THEORETIC CLASSIFICATION OF QUANTUM EVENTS STRUCTURES IN TERMS OF BOOLEAN REFERENCE FRAMES, A topos formulation of history quantum theory, 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, A Boolean model of ultrafilters, Classical and quantum probabilities as truth values, Boolean Algebras and Distributive Lattices Treated Constructively