Nonstandardness and the bounded functional interpretation (Q2344622): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2015.02.001
+Normal rank
@@ Property / OpenAlex ID @@
+W1993960522
@@ Property / OpenAlex ID: W1993960522 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215634
@@ Property / cites work: Q4215634 / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
+Normal rank
@@ Property / cites work @@
+Injecting uniformities into Peano arithmetic
@@ Property / cites work: Injecting uniformities into Peano arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded functional interpretation
@@ Property / cites work: Bounded functional interpretation / rank @@
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+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 @@
+Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+Internal set theory: A new approach to nonstandard analysis
+Normal rank
@@ Property / cites work @@
+The syntax of nonstandard analysis
@@ Property / cites work: The syntax of nonstandard analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+A functional interpretation for nonstandard arithmetic
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2344622