Decidability and Specker sequences in intuitionistic mathematics (Q3650323): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1002/malq.200710094
+Normal rank
@@ Property / OpenAlex ID @@
+W2030330301
@@ Property / OpenAlex ID: W2030330301 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3754620
@@ Property / cites work: Q3754620 / rank @@
+Normal rank
@@ Property / cites work @@
+An interpretation of intuitionistic analysis
@@ Property / cites work: An interpretation of intuitionistic analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q5343325
@@ Property / cites work: Q5343325 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4486016
@@ Property / cites work: Q4486016 / rank @@
+Normal rank
@@ Property / cites work @@
+Specker sequences revisited
@@ Property / cites work: Specker sequences revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Nicht konstruktiv beweisbare Sätze der Analysis
@@ Property / cites work: Nicht konstruktiv beweisbare Sätze der Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank