Algebras of complemented subsets (Q2104273): Difference between revisions

@@ 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