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

@@ Property / DOI @@
-.1002/malq.201200018
@@ Property / DOI: 10.1002/malq.201200018 / rank @@
-Normal rank
@@ Property / author @@
-Peter M. Schuster
@@ Property / author: Peter M. Schuster / rank @@
-Normal rank
@@ Property / author @@
+Peter M. Schuster
@@ Property / author: Peter M. Schuster / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1002/malq.201200018
+Normal rank
@@ Property / OpenAlex ID @@
+W1968330952
@@ Property / OpenAlex ID: W1968330952 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1002/MALQ.201200018
@@ Property / DOI: 10.1002/MALQ.201200018 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3144876