Almost new pre-apartness from old (Q424542): Difference between revisions

@@ Property / author @@
+Douglas S. Bridges
@@ Property / author: Douglas S. Bridges / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F60
@@ Property / Mathematics Subject Classification ID: 03F60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F65
@@ Property / Mathematics Subject Classification ID: 03F65 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D22
@@ Property / Mathematics Subject Classification ID: 06D22 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+E05
@@ Property / Mathematics Subject Classification ID: 54E05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+E17
@@ Property / Mathematics Subject Classification ID: 54E17 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6040328
@@ Property / zbMATH DE Number: 6040328 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+constructive topology
@@ Property / zbMATH Keywords: constructive topology / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+apartness
@@ Property / zbMATH Keywords: apartness / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+frame
@@ Property / zbMATH Keywords: frame / rank @@
+Normal rank

Revision as of 22:27, 29 June 2023