From Nonstandard Analysis to Various Flavours of Computability Theory (Q2988850): Difference between revisions

@@ Property / cites work @@
+A functional interpretation for nonstandard arithmetic
+Normal rank
@@ Property / cites work @@
+The crisis in contemporary mathematics
@@ Property / cites work: The crisis in contemporary mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Noncommutative geometry and reality
@@ Property / cites work: Noncommutative geometry and reality / rank @@
+Normal rank
@@ Property / cites work @@
+Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics
+Normal rank
@@ Property / cites work @@
+Commuting and Noncommuting Infinitesimals
@@ Property / cites work: Commuting and Noncommuting Infinitesimals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4089040
@@ Property / cites work: Q4089040 / rank @@
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+Q5711891
@@ Property / cites work: Q5711891 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4793025
@@ Property / cites work: Q4793025 / rank @@
+Normal rank
@@ Property / cites work @@
+Internal set theory: A new approach to nonstandard analysis
+Normal rank
@@ Property / cites work @@
+Non-standard analysis
@@ Property / cites work: Non-standard analysis / 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