Algebras of complemented subsets

DOI10.1007/978-3-031-08740-0_21OpenAlexW4285136677MaRDI QIDQ2104273

Daniel Wessel, Iosif Petrakis

Publication date: 7 December 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-08740-0_21

zbMATH Keywords

partial functionsBishop setscomplemented subsets

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (2)

Proof-relevance in Bishop-style constructive mathematics ⋮ Closed subsets in Bishop topological groups

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
• Constructions of categories of setoids from proof-irrelevant families
• The overlap algebra of regular opens
• A course in constructive algebra
• Metric Boolean algebras and constructive measure theory
• Stone-type representations and dualities for varieties of bisemilattices
• Constructing categories and setoids of setoids in type theory
• Direct spectra of Bishop spaces and their limits
• AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
• Embeddings of Bishop spaces
• Lattices With Involution
• Constructive measure theory
• Bases of Pseudocompact Bishop Spaces

This page was built for publication: Algebras of complemented subsets