The Kripke schema in metric topology (Q3144876): Difference between revisions

@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+Points and Spaces
@@ Property / cites work: Points and Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4492739
@@ Property / cites work: Q4492739 / rank @@
+Normal rank
@@ Property / cites work @@
+Kronecker's density theorem and irrational numbers in constructive reverse mathematics
+Normal rank
@@ Property / cites work @@
+Intuitionism As Generalization
@@ Property / cites work: Intuitionism As Generalization / rank @@
+Normal rank
@@ Property / cites work @@
+Q3605742
@@ Property / cites work: Q3605742 / rank @@
+Normal rank
@@ Property / cites work @@
+Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
+Normal rank
@@ Property / cites work @@
+How connected is the intuitionistic continuum?
@@ Property / cites work: How connected is the intuitionistic continuum? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank