Aspects of general topology in constructive set theory

DOI10.1016/j.apal.2005.05.016zbMath1077.03035OpenAlexW2060996059MaRDI QIDQ2575763

Peter Aczel

Publication date: 6 December 2005

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2005.05.016

zbMATH Keywords

General topologyConstructive set theoryConstructive mathematicsFormal topologyLocale

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Frames, locales (06D22) Other constructive mathematics (03F65)

Related Items (36)

Chu duality theory and coalgebraic representation of quantum symmetries ⋮ The Jacobson radical for an inconsistency predicate ⋮ ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS ⋮ A constructive and functorial embedding of locally compact metric spaces into locales ⋮ Exact approximations to Stone-Čech compactification ⋮ On Tarski’s fixed point theorem ⋮ Non-deterministic inductive definitions ⋮ A comparison of two topos-theoretic approaches to quantum theory ⋮ Radical theory of Scott-open filters ⋮ Formally continuous functions on Baire space ⋮ Maximal elements with minimal logic ⋮ A predicative completion of a uniform space ⋮ Some further results on pointfree convex geometry ⋮ On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology ⋮ Fundamental results for pointfree convex geometry ⋮ Locatedness and overt sublocales ⋮ Derived rules for predicative set theory: an application of sheaves ⋮ Topological inductive definitions ⋮ Two subcategories of apartness spaces ⋮ A point-free characterisation of Bishop locally compact metric spaces ⋮ 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 ⋮ The Zariski spectrum as a formal geometry ⋮ The associated sheaf functor theorem in algebraic set theory ⋮ Embedding locales and formal topologies into positive topologies ⋮ Generalized geometric theories and set-generated classes ⋮ Completeness and cocompleteness of the categories of basic pairs and concrete spaces ⋮ On some peculiar aspects of the constructive theory of point-free spaces ⋮ Quasi-apartness and neighbourhood spaces ⋮ On the existence of Stone-Čech compactification ⋮ Equivalents of the finitary non-deterministic inductive definitions ⋮ A topos for algebraic quantum theory ⋮ On the collection of points of a formal space ⋮ Maximal and partial points in formal spaces ⋮ Towards formal Baer criteria ⋮ Syntax for Semantics: Krull’s Maximal Ideal Theorem ⋮ The axiom of multiple choice and models for constructive set theory

Cites Work

• Sheaves in geometry and logic: a first introduction to topos theory
• Inductively generated formal topologies.
• Some points in formal topology.
• On the collection of points of a formal space
• Maximal and partial points in formal spaces
• Constructive set theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Aspects of general topology in constructive set theory