Aspects of general topology in constructive set theory

DOI10.1016/J.APAL.2005.05.016MaRDI QIDQ2575763zbMATH OpenOpenAlexFDO

Authors 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

Constructive mathematicsConstructive set theoryFormal topologyGeneral topologyLocale

Mathematics Subject Classification ID

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

Recommendations

• Formal Baire space in constructive set theory
• Topological inductive definitions
• Some points in formal topology.
• scientific article; zbMATH DE number 2247258
• On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology

Cites work

• Constructive set theory
• scientific article; zbMATH DE number 3839951 (Why is no real title available?)
• scientific article; zbMATH DE number 4152376 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 4012604 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 1420795 (Why is no real title available?)
• scientific article; zbMATH DE number 2247258 (Why is no real title available?)
• Inductively generated formal topologies.
• Maximal and partial points in formal spaces
• On the collection of points of a formal space
• Sheaves in geometry and logic: a first introduction to topos theory
• Some points in formal topology.

Cited in

(50)

• A topos for algebraic quantum theory
• Embedding locales and formal topologies into positive topologies
• Non-deterministic inductive definitions
• A comparison of two topos-theoretic approaches to quantum theory
• Towards formal Baer criteria
• Chu duality theory and coalgebraic representation of quantum symmetries
• Generalizing topological set operators
• Equivalents of the finitary non-deterministic inductive definitions
• Quotient topologies in constructive set theory and type theory
• Quasi-apartness and neighbourhood spaces
• On the collection of points of a formal space
• Maximal and partial points in formal spaces
• Radical theory of Scott-open filters
• The axiom of multiple choice and models for constructive set theory
• On Tarski’s fixed point theorem
• A point-free characterisation of Bishop locally compact metric spaces
• 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10
• On the existence of Stone-Čech compactification
• On some peculiar aspects of the constructive theory of point-free spaces
• scientific article; zbMATH DE number 4061916 (Why is no real title available?)
• A Construction in Set‐Theoretic Topology by Means of Elementary Substructures
• A predicative completion of a uniform space
• scientific article; zbMATH DE number 703128 (Why is no real title available?)
• Derived rules for predicative set theory: an application of sheaves
• Topological inductive definitions
• ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS
• Formal Baire space in constructive set theory
• scientific article; zbMATH DE number 7352263 (Why is no real title available?)
• Syntax for semantics: Krull's maximal ideal theorem
• The Jacobson radical for an inconsistency predicate
• Formally continuous functions on Baire space
• scientific article; zbMATH DE number 6320514 (Why is no real title available?)
• Generalized geometric theories and set-generated classes
• Completeness and cocompleteness of the categories of basic pairs and concrete spaces
• scientific article; zbMATH DE number 5181376 (Why is no real title available?)
• An invitation to topological structures on first order genuine sets
• Maximal elements with minimal logic
• 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
• Two subcategories of apartness spaces
• A general Glivenko-Gödel theorem for nuclei
• Extension theory: The interface between set-theoretic and algebraic topology
• Continuous and algebraic domains in univalent foundations
• Conservation as translation
• A constructive and functorial embedding of locally compact metric spaces into locales
• Exact approximations to Stone-Čech compactification
• The Zariski spectrum as a formal geometry
• The associated sheaf functor theorem in algebraic set theory

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2575763)