Families of Sets in Bishop Set Theory

2021/09/09 by Iosif Petrakis, Petrakis, Iosif · 2 citations
Business, Management and Accounting · Computer Science · Mathematics · #FOS: Mathematics #Logic (math.LO) #Organizational Management and Leadership #Topological and Geometric Data Analysis #math.LO

paper · pdf · doi:10.48550/arxiv.2109.04183

216 pages

arxiv created 2021/09/09 · openalex publication_date 2021/09/09 · arxiv updated 2021/09/10 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We develop the theory of set-indexed families of sets and subsets within the informal Bishop Set Theory BST, a reconstruction of Bishop's theory of sets.

Cited by

• Orthocomplemented subspaces and partial projections on a Hilbert space
• Coinductive well-foundedness

Related

• Constructivist and Structuralist Foundations: Bishop's and Lawvere's Theories of Sets
• Families of Sets in Constructive Measure Theory
• A Cubical Language for Bishop Sets
• Sets completely separated by functions in Bishop Set Theory
• Closed subsets in Bishop topological groups