Algebras of complemented subsets
From MaRDI portal
Publication:2104273
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)