Aspects of general topology in constructive set theory

DOI10.1016/J.APAL.2005.05.016MaRDI QIDQ2575763zbMATHOpenAlexFDO

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

General topologyConstructive set theoryConstructive mathematicsFormal topologyLocale

Mathematics Subject Classification ID

Frames, locales (06D22) Other constructive mathematics (03F65) 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

• 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?)
• Constructive set theory
• 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

(48)

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

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)