Tychonoff's theorem in the framework of formal topologies (Q4382478): 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.2307/2275645
@@ Property / full work available at URL: https://doi.org/10.2307/2275645 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2168509624
@@ Property / OpenAlex ID: W2168509624 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive domain theory as a branch of intuitionistic pointfree topology
+Normal rank
@@ Property / cites work @@
+Do-it-yourself type theory
@@ Property / cites work: Do-it-yourself type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+The point of pointless topology
@@ Property / cites work: The point of pointless topology / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994458
@@ Property / cites work: Q3994458 / rank @@
+Normal rank
@@ Property / cites work @@
+Proper maps of locales
@@ Property / cites work: Proper maps of locales / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability in Intuitionistic Type Theory is Functionally Decidable
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4382478