To be or not to be constructive, that is not the question (Q1688964): Difference between revisions

@@ Property / cites work @@
+Q3567133
@@ Property / cites work: Q3567133 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215634
@@ Property / cites work: Q4215634 / rank @@
+Normal rank
@@ Property / cites work @@
+Five stages of accepting constructive mathematics
@@ Property / cites work: Five stages of accepting constructive mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform Heyting arithmetic
@@ Property / cites work: Uniform Heyting arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5604461
@@ Property / cites work: Q5604461 / rank @@
+Normal rank
@@ Property / cites work @@
+The crisis in contemporary mathematics
@@ Property / cites work: The crisis in contemporary mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3754620
@@ Property / cites work: Q3754620 / rank @@
+Normal rank
@@ Property / cites work @@
+Techniques of constructive analysis
@@ Property / cites work: Techniques of constructive analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068683
@@ Property / cites work: Q4068683 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4093404
@@ Property / cites work: Q4093404 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3931272
@@ Property / cites work: Q3931272 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215630
@@ Property / cites work: Q4215630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4662658
@@ Property / cites work: Q4662658 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiom of Choice and Complementation
@@ Property / cites work: Axiom of Choice and Complementation / rank @@
+Normal rank
@@ Property / cites work @@
+The rise of non-Archimedean mathematics and the roots of a misconception. I: The emergence of non-Archimedean systems of magnitudes
+Normal rank
@@ Property / cites work @@
+THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT
+Normal rank
@@ Property / cites work @@
+Q4767255
@@ Property / cites work: Q4767255 / rank @@
+Normal rank
@@ Property / cites work @@
+Approaches to analysis with infinitesimals following Robinson, Nelson, and others
+Normal rank
@@ Property / cites work @@
+Q4111536
@@ Property / cites work: Q4111536 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552737
@@ Property / cites work: Q4552737 / rank @@
+Normal rank
@@ Property / cites work @@
+Located sets and reverse mathematics
@@ Property / cites work: Located sets and reverse mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Nonstandard functional interpretations and categorical models
+Normal rank
@@ Property / cites work @@
+Q3686680
@@ Property / cites work: Q3686680 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141102
@@ Property / cites work: Q3141102 / rank @@
+Normal rank
@@ Property / cites work @@
+Representations of Reals in Reverse Mathematics
@@ Property / cites work: Representations of Reals in Reverse Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank
@@ Property / cites work @@
+Axiomatic foundations for Nonstandard Analysis
@@ Property / cites work: Axiomatic foundations for Nonstandard Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Axiom of Choice in nonstandard set theory
@@ Property / cites work: Axiom of Choice in nonstandard set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3708229
@@ Property / cites work: Q3708229 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics
+Normal rank
@@ Property / cites work @@
+Q4821145
@@ Property / cites work: Q4821145 / rank @@
+Normal rank
@@ Property / cites work @@
+Commuting and Noncommuting Infinitesimals
@@ Property / cites work: Commuting and Noncommuting Infinitesimals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4089040
@@ Property / cites work: Q4089040 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715601
@@ Property / cites work: Q2715601 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4793025
@@ Property / cites work: Q4793025 / rank @@
+Normal rank
@@ Property / cites work @@
+On uniform weak König's lemma
@@ Property / cites work: On uniform weak König's lemma / rank @@
+Normal rank
@@ Property / cites work @@
+Q5711891
@@ Property / cites work: Q5711891 / rank @@
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+Q5525322
@@ Property / cites work: Q5525322 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3744159
@@ Property / cites work: Q3744159 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-Order Computability
@@ Property / cites work: Higher-Order Computability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4099613
@@ Property / cites work: Q4099613 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal models of Heyting arithmetic
@@ Property / cites work: Minimal models of Heyting arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Internal set theory: A new approach to nonstandard analysis
+Normal rank
@@ Property / cites work @@
+Q4726219
@@ Property / cites work: Q4726219 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion on the countable functionals
@@ Property / cites work: Recursion on the countable functionals / rank @@
+Normal rank
@@ Property / cites work @@
+Computation of the kernels of Lévy functionals and applications
+Normal rank
@@ Property / cites work @@
+Malliavin Calculus for Lévy Processes and Infinite-Dimensional Brownian Motion
+Normal rank
@@ Property / cites work @@
+A sheaf-theoretic foundation for nonstandard analysis
+Normal rank
@@ Property / cites work @@
+Developments in Constructive Nonstandard Analysis
@@ Property / cites work: Developments in Constructive Nonstandard Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank
@@ Property / cites work @@
+The disjunction and related properties for constructive Zermelo-Fraenkel set theory
+Normal rank
@@ Property / cites work @@
+Q5596725
@@ Property / cites work: Q5596725 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4870980
@@ Property / cites work: Q4870980 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552750
@@ Property / cites work: Q4552750 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4529744
@@ Property / cites work: Q4529744 / rank @@
+Normal rank
@@ Property / cites work @@
+Refining the taming of the reverse mathematics zoo
+Normal rank
@@ Property / cites work @@
+From Nonstandard Analysis to Various Flavours of Computability Theory
+Normal rank
@@ Property / cites work @@
+The Gandy–Hyland functional and a computational aspect of Nonstandard Analysis
+Normal rank
@@ Property / cites work @@
+Q5703752
@@ Property / cites work: Q5703752 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+A nonstandard counterpart of WWKL
@@ Property / cites work: A nonstandard counterpart of WWKL / rank @@
+Normal rank
@@ Property / cites work @@
+Q3545513
@@ Property / cites work: Q3545513 / 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 @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+Arguments for the Continuity Principle
@@ Property / cites work: Arguments for the Continuity Principle / rank @@
+Normal rank
@@ Property / cites work @@
+The strength of countable saturation
@@ Property / cites work: The strength of countable saturation / rank @@
+Normal rank
@@ Property / cites work @@
+A functional interpretation for nonstandard arithmetic
+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 @@
+L.E.J. Brouwer – Topologist, Intuitionist, Philosopher
+Normal rank
@@ Property / cites work @@
+Q5573940
@@ Property / cites work: Q5573940 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998865
@@ Property / cites work: Q3998865 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5393652
@@ Property / cites work: Q5393652 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonstandard analysis and constructivism?
@@ Property / cites work: Nonstandard analysis and constructivism? / rank @@
+Normal rank
@@ Property / cites work @@
+Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics
+Normal rank
@@ Property / cites work @@
+Nonstandard Analysis for the Working Mathematician
+Normal rank
@@ Property / cites work @@
+Lebesgue Convergence Theorems and Reverse Mathematics
+Normal rank
@@ Property / cites work @@
+Measure theory and weak König's lemma
@@ Property / cites work: Measure theory and weak König's lemma / rank @@
+Normal rank