Algebras of complemented subsets
type: Item
instance of: scholarly article
title: Algebras of complemented subsets
DOI: 10.1007/978-3-031-08740-0_21
author: Iosif Petrakis
author: Daniel Wessel
publication date: 2022-12-07T00:00:00Z
Mathematics Subject Classification ID: 68Qxx
zbMATH DE Number: 7627933
zbMATH Keywords: Bishop sets
zbMATH Keywords: complemented subsets
zbMATH Keywords: partial functions
MaRDI profile type: Publication
full work available at URL: 978-3-031-08740-0 21
OpenAlex ID: W4285136677
cites work: Q3679172
cites work: Q5573965
cites work: Constructive measure theory
cites work: Q3803111
cites work: Q3754620
cites work: The overlap algebra of regular opens
cites work: Q5216305
cites work: Metric Boolean algebras and constructive measure theory
cites work: Q5839919
cites work: Lattices With Involution
cites work: Stone-type representations and dualities for varieties of bisemilattices
cites work: A course in constructive algebra
cites work: Q4099613
cites work: Q4247306
cites work: Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
cites work: Constructing categories and setoids of setoids in type theory
cites work: Constructions of categories of setoids from proof-irrelevant families
cites work: Constructive topology of Bishop spaces
cites work: Embeddings of Bishop spaces
cites work: Direct spectra of Bishop spaces and their limits
cites work: Bases of Pseudocompact Bishop Spaces
cites work: AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
description: scientific article; zbMATH DE number 7627933