Maximal and partial points in formal spaces (Q2575773): 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.apal.2005.05.024
+Normal rank
@@ Property / OpenAlex ID @@
+W2067863523
@@ Property / OpenAlex ID: W2067863523 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3762311
@@ Property / cites work: Q3762311 / rank @@
+Normal rank
@@ Property / cites work @@
+Aspects of general topology in constructive set theory
+Normal rank
@@ Property / cites work @@
+Q4552734
@@ Property / cites work: Q4552734 / rank @@
+Normal rank
@@ Property / cites work @@
+On the collection of points of a formal space
@@ Property / cites work: On the collection of points of a formal space / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247308
@@ Property / cites work: Q4247308 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive completions of ordered sets, groups and fields
+Normal rank
@@ Property / cites work @@
+Q3481701
@@ Property / cites work: Q3481701 / rank @@
+Normal rank
@@ Property / cites work @@
+Some points in formal topology.
@@ Property / cites work: Some points in formal topology. / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive domain theory as a branch of intuitionistic pointfree topology
+Normal rank
@@ Property / cites work @@
+Formal spaces and their effective presentations
@@ Property / cites work: Formal spaces and their effective presentations / rank @@
+Normal rank
@@ Property / cites work @@
+Representability of locally compact regular spaces by domains and formal spaces
+Normal rank
@@ Property / cites work @@
+Algebraic and fixed point equations over inverse limits of algebras
+Normal rank