Some points in formal topology.

DOI10.1016/S0304-3975(02)00704-1zbMath1044.54001MaRDI QIDQ1427787

Publication date: 14 March 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(02)00704-1

Mathematics Subject Classification ID

03A05: Philosophical and critical aspects of logic and foundations

54A05: Topological spaces and generalizations (closure spaces, etc.)

03F65: Other constructive mathematics

Related Items

Unnamed Item, THE LOGIC AND TOPOLOGY OF KANT’S TEMPORAL CONTINUUM, Forcing in Proof Theory, Unnamed Item, A constructive Galois connection between closure and interior, Convergence in formal topology: a unifying notion, Topology as Faithful Communication Through Relations, Syntax for Semantics: Krull’s Maximal Ideal Theorem, Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice, The Jacobson radical for an inconsistency predicate, THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY, Ordering groups constructively, Sublocales in formal topology, The generalised type-theoretic interpretation of constructive set theory, Every countably presented formal topology is spatial, classically, On constructing completions, Generalized geometric theories and set-generated classes, On Small Types in Univalent Foundations, A universal Krull-Lindenbaum theorem, Atomicity, coherence of information, and point-free structures, Positivity relations on a locale, Competitive equilibrium with intuitionistic agents, A predicative completion of a uniform space, Almost new pre-apartness from old, A formal proof of the projective Eisenbud-Evans-Storch theorem, Derived rules for predicative set theory: an application of sheaves, An induction principle for consequence in arithmetic universes, Locatedness and overt sublocales, Reflections on function spaces, Formal neighbourhoods, combinatory Böhm trees, and untyped normalization by evaluation, Independence results in formal topology, Objects: a study in Kantian formal epistemology, Pre-apartness structures on spaces of functions, A constructive and functorial embedding of locally compact metric spaces into locales, The basic Zariski topology, The Zariski spectrum as a formal geometry, A minimalist two-level foundation for constructive mathematics, A topos for algebraic quantum theory, Constructive metrisability in point-free topology., Unique existence, approximate solutions, and countable choice., Eliminating disjunctions by disjunction elimination, Embedding locales and formal topologies into positive topologies, The problem of the formalization of constructive topology, Non-deterministic inductive definitions, The Hahn-Banach theorem by disjunction elimination, Towards formal Baer criteria, Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies, Cut elimination for entailment relations, Spectral schemes as ringed lattices, A textural view of the distinction between uniformities and quasi-uniformities, A constructive notion of codimension, A topologist's view of Chu spaces, Vagueness, Kant and topology: a study of formal epistemology, Quasi-apartness and neighbourhood spaces, Aspects of general topology in constructive set theory, Heyting-valued interpretations for constructive set theory, Programming interfaces and basic topology, Maximal and partial points in formal spaces, Regular universes and formal spaces, Formal Zariski topology: Positivity and points, Radical theory of Scott-open filters, A Minimalist Foundation at Work, A point-free characterisation of Bishop locally compact metric spaces, Metric complements of overt closed sets, Relative formal topology: the binary positivity predicate comes first, Continuity of Motion in Whitehead’s Geometrical Space, The principle of pointfree continuity, Point-Free Spectra of Linear Spreads

Cites Work