Finitary formal topologies and Stone's representation theorem (Q949607): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2008.06.020
+Normal rank
@@ Property / OpenAlex ID @@
+W1975187182
@@ Property / OpenAlex ID: W1975187182 / rank @@
+Normal rank
@@ Property / cites work @@
+Pretopologies and a uniform presentation of sup-lattices, quantales and frames
+Normal rank
@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+Convergence in formal topology: a unifying notion
@@ Property / cites work: Convergence in formal topology: a unifying notion / rank @@
+Normal rank
@@ Property / cites work @@
+Finiteness in a Minimalist Foundation
@@ Property / cites work: Finiteness in a Minimalist Foundation / rank @@
+Normal rank
@@ Property / cites work @@
+Inductively generated formal topologies.
@@ Property / cites work: Inductively generated formal topologies. / rank @@
+Normal rank
@@ Property / cites work @@
+Spatiality for formal topologies
@@ Property / cites work: Spatiality for formal topologies / rank @@
+Normal rank
@@ Property / cites work @@
+Q5718565
@@ Property / cites work: Q5718565 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896531
@@ Property / cites work: Q4896531 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3481701
@@ Property / cites work: Q3481701 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247310
@@ Property / cites work: Q4247310 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Zariski topology: Positivity and points
@@ Property / cites work: Formal Zariski topology: Positivity and points / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:949607