scientific article
From MaRDI portal
Publication:3322099
zbMath0537.03040MaRDI QIDQ3322099
Robin J. Grayson, Michael Paul Fourman
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lindenbaum algebrapointless spacesconstructive theory of localesintuitionistic propositional theories
Topological spaces and generalizations (closure spaces, etc.) (54A05) Categorical logic, topoi (03G30) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Intuitionistic mathematics (03F55)
Related Items
Logical opens and real numbers in topoi, Stone dualities from opfibrations, Formal spaces and their effective presentations, Unnamed Item, A coverage construction of the reals and the irrationals, Exact approximations to Stone-Čech compactification, Representability of locally compact regular spaces by domains and formal spaces, Dynamics in Foundations: What Does It Mean in the Practice of Mathematics?, Competitive equilibrium with intuitionistic agents, Formally continuous functions on Baire space, The intensional side of algebraic-topological representation theorems, Inductively generated formal topologies., Locatedness and overt sublocales, Derived rules for predicative set theory: an application of sheaves, Topological inductive definitions, A constructive investigation of satisfiability, Constructive metrisability in point-free topology., Some points in formal topology., The World's simplest axiom of choice fails, A globalization of the Hahn-Banach theorem, The principle of pointfree continuity, Completely regular proper reflection of locales over a given locale, A constructive proof of the Heine-Borel covering theorem for formal reals, I-categories as a framework for solving domain equations, Connected Locally Connected Toposes are Path-Connected, A topos for algebraic quantum theory, Smooth spaces versus continuous spaces in models for synthetic differential geometry, On the collection of points of a formal space, Formal Zariski topology: Positivity and points, \(T_ 1\) spaces over topological sites, Towards formal Baer criteria, Stone-Čech compactification of locales. II, Syntax for Semantics: Krull’s Maximal Ideal Theorem, Information categories, The locally fine coreflection and normal covers in the products of partition-complete spaces
