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