The anti-Specker property, positivity, and total boundedness (Q3583807): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1002/malq.200910017
+Normal rank
@@ Property / OpenAlex ID @@
+W2032753226
@@ Property / OpenAlex ID: W2032753226 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+A fan-theoretic equivalent of the antithesis of Specker's theorem
+Normal rank
@@ Property / cites work @@
+Some Notes on Continuity in Constructive Analysis
@@ Property / cites work: Some Notes on Continuity in Constructive Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive notions of equicontinuity
@@ Property / cites work: Constructive notions of equicontinuity / rank @@
+Normal rank
@@ Property / cites work @@
+Omniscience, sequential compactness, and the anti-Specker property
+Normal rank
@@ Property / cites work @@
+Continuity and nondiscontinuity in constructive mathematics
+Normal rank
@@ Property / cites work @@
+Continuity properties in constructive mathematics
@@ Property / cites work: Continuity properties in constructive mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Compactness under constructive scrutiny
@@ Property / cites work: Compactness under constructive scrutiny / rank @@
+Normal rank
@@ Property / cites work @@
+A uniformly continuous function on [0,1] that is everywhere different from its infimum
+Normal rank
@@ Property / cites work @@
+Equivalents of the (weak) fan theorem
@@ Property / cites work: Equivalents of the (weak) fan theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution of the uniform lower bound problem in constructive analysis
+Normal rank
@@ Property / cites work @@
+Generalized real numbers in constructive mathematics
+Normal rank
@@ Property / cites work @@
+Intuitionistic notions of boundedness in ℕ
@@ Property / cites work: Intuitionistic notions of boundedness in ℕ / 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