Sets completely separated by functions in Bishop set theory

DOI10.1215/00294527-2024-0010MaRDI QIDQ6589312zbMATH OpenFDO

Authors Iosif Petrakis

Publication date 19 August 2024

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1215/00294527-2024-0010

zbMATH Keywords

apartness relationBishop set theoryconstructive mathematics

Mathematics Subject Classification ID

Other constructive mathematics (03F65)

Recommendations

• Completely regular Bishop spaces
• Borel and Baire sets in Bishop spaces
• Constructive topology of Bishop spaces
• Embeddings of Bishop spaces
• Direct spectra of Bishop spaces and their limits

Cites work

• A constructive function-theoretic approach to topological compactness
• A course in constructive algebra
• AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
• Algebras of complemented subsets
• Bases of Pseudocompact Bishop Spaces
• Borel and Baire sets in Bishop spaces
• Closed subsets in Bishop topological groups
• Completely regular Bishop spaces
• Constructing categories and setoids of setoids in type theory
• Constructive set theory
• Constructive topology of Bishop spaces
• Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
• Direct spectra of Bishop spaces and their limits
• Embeddings of Bishop spaces
• Functions of Baire class one over a Bishop topology
• scientific article; zbMATH DE number 3152563 (Why is no real title available?)
• scientific article; zbMATH DE number 5761737 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3687373 (Why is no real title available?)
• scientific article; zbMATH DE number 3457750 (Why is no real title available?)
• scientific article; zbMATH DE number 3521950 (Why is no real title available?)
• scientific article; zbMATH DE number 1795226 (Why is no real title available?)
• scientific article; zbMATH DE number 7561488 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• Inequality in constructive mathematics
• Proof-relevance in Bishop-style constructive mathematics
• Proof-relevance of families of setoids and identity in type theory
• Reflections on function spaces
• Relating Bishop's function spaces to neighbourhood spaces
• The Urysohn extension theorem for Bishop spaces
• Topologische Reflexionen und Coreflexionen

Cited in

(1)

• A predicative approach to the constructive integration theory of locally compact metric spaces

This page was built for publication: Sets completely separated by functions in Bishop set theory

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