Algebras of complemented subsets
From MaRDI portal
Publication:2104273
DOI10.1007/978-3-031-08740-0_21OpenAlexW4285136677MaRDI QIDQ2104273FDOQ2104273
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
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A course in constructive algebra
- Lattices With Involution
- Title not available (Why is that?)
- Constructing categories and setoids of setoids in type theory
- Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
- Constructions of categories of setoids from proof-irrelevant families
- Metric Boolean algebras and constructive measure theory
- Constructive measure theory
- Title not available (Why is that?)
- The overlap algebra of regular opens
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
- Stone-type representations and dualities for varieties of bisemilattices
- Constructive topology of Bishop spaces
- Embeddings of Bishop spaces
- Direct spectra of Bishop spaces and their limits
- Bases of Pseudocompact Bishop Spaces
- Title not available (Why is that?)
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
- Title not available (Why is that?)
- 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)
