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

Bishop setscomplemented subsetspartial functions

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• 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
• 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 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3099239 (Why is no real title available?)
• Lattices With Involution
• Metric Boolean algebras and constructive measure theory
• Overlap algebras: a constructive look at complete Boolean algebras
• Stone-type representations and dualities for varieties of bisemilattices
• The overlap algebra of regular opens

Cited in

(13)

• Complements in certain algebraic lattices
• The replenishment algorithm in algebras of sets
• Closed subsets in Bishop topological groups
• scientific article; zbMATH DE number 1984320 (Why is no real title available?)
• On disjunctions of algebraic sets in completely simple semigroups
• Proof-relevance in Bishop-style constructive mathematics
• Sets completely separated by functions in Bishop set theory
• Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory
• Boolean rigs
• Strong negation in the theory of computable functionals TCF
• On the Weihrauch degree of the additive Ramsey theorem
• Hilbert's tenth problem for term algebras with a substitution operator
• Complemented subsets and Boolean-valued, partial functions

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)