scientific article
From MaRDI portal
Publication:3481701
zbMath0703.03040MaRDI QIDQ3481701
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Heyting algebras (lattice-theoretic aspects) (06D20) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)
Related Items
A universal Krull-Lindenbaum theorem, The Urysohn Extension Theorem for Bishop Spaces, Atomicity, coherence of information, and point-free structures, Positivity relations on a locale, Unnamed Item, Spatiality and classical logic, Dialectical Rough Sets, Parthood and Figures of Opposition-I, Spectral schemes as ringed lattices, Constructive domain theory as a branch of intuitionistic pointfree topology, Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice, A Minimalist Foundation at Work, A constructive topological proof of van der Waerden's theorem, Constructive characterizations of bar subsets, THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY, A constructive and functorial embedding of locally compact metric spaces into locales, Exact approximations to Stone-Čech compactification, A universal algorithm for Krull's theorem, The basic Zariski topology, Representability of locally compact regular spaces by domains and formal spaces, Eliminating disjunctions by disjunction elimination, Dynamics in Foundations: What Does It Mean in the Practice of Mathematics?, Formally continuous functions on Baire space, On Small Types in Univalent Foundations, A predicative completion of a uniform space, Apartness, sharp elements, and the Scott topology of domains, ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION, Unnamed Item, Unnamed Item, The intensional side of algebraic-topological representation theorems, Inductively generated formal topologies., Locatedness and overt sublocales, Nonflatness and totality, Topological inductive definitions, Reflections on function spaces, A constructive investigation of satisfiability, Formal neighbourhoods, combinatory Böhm trees, and untyped normalization by evaluation, Generalizing realizability and Heyting models for constructive set theory, Constructive metrisability in point-free topology., Localic sup-lattices and tropological systems., Some points in formal topology., Unique existence, approximate solutions, and countable choice., The principle of pointfree continuity, Algebraic Methods for Granular Rough Sets, Three Lessons on the Topological and Algebraic Hidden Core of Rough Set Theory, Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies, Finitary formal topologies and Stone's representation theorem, The Zariski spectrum as a formal geometry, A constructive proof of the Heine-Borel covering theorem for formal reals, An application of constructive completeness, The associated sheaf functor theorem in algebraic set theory, Embedding locales and formal topologies into positive topologies, Vagueness, Kant and topology: a study of formal epistemology, Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory, Quasi-apartness and neighbourhood spaces, A computer-verified monadic functional implementation of the integral, Space of valuations, C for constructivism. Beyond clichés, Equivalents of the finitary non-deterministic inductive definitions, Cut elimination for entailment relations, The connected Vietoris powerlocale, Ordering groups constructively, Predicativity and constructive mathematics, Closed subsets in Bishop topological groups, A topos for algebraic quantum theory, Aspects of general topology in constructive set theory, Pretopologies and a uniform presentation of sup-lattices, quantales and frames, Completions, comonoids, and topological spaces, On the collection of points of a formal space, Programming interfaces and basic topology, Maximal and partial points in formal spaces, Regular universes and formal spaces, Formal Zariski topology: Positivity and points, Constructive algebraic integration theory, Compactness in locales and in formal topology, A cartesian closed category in Martin-Löf's intuitionistic type theory, Apartness spaces as a framework for constructive topology
