Algebras of complemented subsets

DOI10.1007/978-3-031-08740-0_21MaRDI QIDQ2104273zbMATH OpenOpenAlexFDO

Authors Iosif Petrakis, Daniel Wessel

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)

Cites work

• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3521950 (Why is no real title available?)
• scientific article; zbMATH DE number 1302061 (Why is no real title available?)
• scientific article; zbMATH DE number 7168149 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3099239 (Why is no real title available?)
• A course in constructive algebra
• AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
• Bases of Pseudocompact Bishop Spaces
• Constructing categories and setoids of setoids in type theory
• Constructions of categories of setoids from proof-irrelevant families
• Constructive measure 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
• Lattices With Involution
• Metric Boolean algebras and constructive measure theory
• Stone-type representations and dualities for varieties of bisemilattices
• The overlap algebra of regular opens

Cited in

(8)

• Sets completely separated by functions in Bishop set theory
• On disjunctions of algebraic sets in completely simple semigroups
• Proof-relevance in Bishop-style constructive mathematics
• Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory
• scientific article; zbMATH DE number 1984320 (Why is no real title available?)
• The replenishment algorithm in algebras of sets
• Complements in certain algebraic lattices
• Closed subsets in Bishop topological groups

This page was built for publication: Algebras of complemented subsets

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