Aspects of general topology in constructive set theory

DOI10.1016/J.APAL.2005.05.016zbMATH Open1077.03035OpenAlexW2060996059MaRDI QIDQ2575763FDOQ2575763

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

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

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)

Cites Work

• Title not available (Why is that?)
• Sheaves in geometry and logic: a first introduction to topos theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some points in formal topology.
• Title not available (Why is that?)
• Constructive set theory
• Inductively generated formal topologies.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the collection of points of a formal space
• Maximal and partial points in formal spaces

Cited In (47)

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

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)