scientific article; zbMATH DE number 4152376
From MaRDI portal
zbMATH Open0703.03040MaRDI QIDQ3481701FDOQ3481701
Authors: Giovanni Sambin 
Publication date: 1987
Title of this publication is not available (Why is that?)
Recommendations
Metamathematics of constructive systems (03F50) Categorical logic, topoi (03G30) Intuitionistic mathematics (03F55) Heyting algebras (lattice-theoretic aspects) (06D20)
Cited In (81)
- The associated sheaf functor theorem in algebraic set theory
- Compactness in locales and in formal topology
- A universal Krull-Lindenbaum theorem
- Equivalents of the finitary non-deterministic inductive definitions
- A universal algorithm for Krull's theorem
- Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory
- A predicative completion of a uniform space
- Constructive algebraic integration theory
- A cartesian closed category in Martin-Löf's intuitionistic type theory
- The basic Zariski topology
- Space of valuations
- Atomicity, coherence of information, and point-free structures
- Positivity relations on a locale
- Embedding locales and formal topologies into positive topologies
- A constructive investigation of satisfiability
- The connected Vietoris powerlocale
- A topos for algebraic quantum theory
- Some points in formal topology.
- Representability of locally compact regular spaces by domains and formal spaces
- Ordering groups constructively
- Topological inductive definitions
- A constructive and functorial embedding of locally compact metric spaces into locales
- A constructive topological proof of van der Waerden's theorem
- Unique existence, approximate solutions, and countable choice.
- Vagueness, Kant and topology: a study of formal epistemology
- Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies
- A constructive proof of the Heine-Borel covering theorem for formal reals
- Formal spaces and their effective presentations
- The Zariski spectrum as a formal geometry
- Spectral schemes as ringed lattices
- Constructive domain theory as a branch of intuitionistic pointfree topology
- Apartness spaces as a framework for constructive topology
- Title not available (Why is that?)
- Inductively generated formal topologies.
- Localic sup-lattices and tropological systems.
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
- Exact approximations to Stone-Čech compactification
- C for constructivism. Beyond clichés
- Formal Zariski topology: Positivity and points
- Locatedness and overt sublocales
- Pretopologies and a uniform presentation of sup-lattices, quantales and frames
- Aspects of general topology in constructive set theory
- On the collection of points of a formal space
- Finitary formal topologies and Stone's representation theorem
- Title not available (Why is that?)
- Generalizing realizability and Heyting models for constructive set theory
- Reflections on function spaces
- Quasi-apartness and neighbourhood spaces
- Regular universes and formal spaces
- A computer-verified monadic functional implementation of the integral
- Constructive metrisability in point-free topology.
- Constructive characterizations of bar subsets
- Predicativity and constructive mathematics
- The Urysohn extension theorem for Bishop spaces
- An application of constructive completeness
- Cut elimination for entailment relations
- Completions, comonoids, and topological spaces
- Eliminating disjunctions by disjunction elimination
- Maximal and partial points in formal spaces
- Eliminating disjunctions by disjunction elimination
- Closed subsets in Bishop topological groups
- Formal neighbourhoods, combinatory Böhm trees, and untyped normalization by evaluation
- Formal topologies on the set of first-order formulae
- Formally continuous functions on Baire space
- On Small Types in Univalent Foundations
- Nonflatness and totality
- The principle of pointfree continuity
- Algebraic methods for granular rough sets
- A general Glivenko-Gödel theorem for nuclei
- Apartness, sharp elements, and the Scott topology of domains
- Programming interfaces and basic topology
- Spatiality and classical logic
- Title not available (Why is that?)
- Sharp elements and apartness in domains
- Crypto-preorders, topological relations, information and logic
- Dialectical Rough Sets, Parthood and Figures of Opposition-I
- Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
- The intensional side of algebraic-topological representation theorems
- A minimalist foundation at work
- Three lessons on the topological and algebraic hidden core of rough set theory
- Dynamics in Foundations: What Does It Mean in the Practice of Mathematics?
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 Q3481701)
