Algebras of complemented subsets (Q2104273): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-031-08740-0_21
+Normal rank
@@ Property / OpenAlex ID @@
+W4285136677
@@ Property / OpenAlex ID: W4285136677 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive measure theory
@@ Property / cites work: Constructive measure theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3754620
@@ Property / cites work: Q3754620 / rank @@
+Normal rank
@@ Property / cites work @@
+The overlap algebra of regular opens
@@ Property / cites work: The overlap algebra of regular opens / rank @@
+Normal rank
@@ Property / cites work @@
+Q5216305
@@ Property / cites work: Q5216305 / rank @@
+Normal rank
@@ Property / cites work @@
+Metric Boolean algebras and constructive measure theory
+Normal rank
@@ Property / cites work @@
+Q5839919
@@ Property / cites work: Q5839919 / rank @@
+Normal rank
@@ Property / cites work @@
+Lattices With Involution
@@ Property / cites work: Lattices With Involution / rank @@
+Normal rank
@@ Property / cites work @@
+Stone-type representations and dualities for varieties of bisemilattices
+Normal rank
@@ Property / cites work @@
+A course in constructive algebra
@@ Property / cites work: A course in constructive algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4099613
@@ Property / cites work: Q4099613 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247306
@@ Property / cites work: Q4247306 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
+Normal rank
@@ Property / cites work @@
+Constructing categories and setoids of setoids in type theory
+Normal rank
@@ Property / cites work @@
+Constructions of categories of setoids from proof-irrelevant families
+Normal rank
@@ Property / cites work @@
+Q2794832
@@ Property / cites work: Q2794832 / rank @@
+Normal rank
@@ Property / cites work @@
+Embeddings of Bishop spaces
@@ Property / cites work: Embeddings of Bishop spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Direct spectra of Bishop spaces and their limits
@@ Property / cites work: Direct spectra of Bishop spaces and their limits / rank @@
+Normal rank
@@ Property / cites work @@
+Bases of Pseudocompact Bishop Spaces
@@ Property / cites work: Bases of Pseudocompact Bishop Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
@@ Property / cites work: AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2104273