A functional interpretation for nonstandard arithmetic (Q714729): Difference between revisions

@@ Property / cites work @@
+Nonstandard methods in fixed point theory
@@ Property / cites work: Nonstandard methods in fixed point theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5711876
@@ Property / cites work: Q5711876 / rank @@
+Normal rank
@@ Property / cites work @@
+The metamathematics of ergodic theory
@@ Property / cites work: The metamathematics of ergodic theory / rank @@
+Normal rank
@@ Property / cites work @@
+Local stability of ergodic averages
@@ Property / cites work: Local stability of ergodic averages / rank @@
+Normal rank
@@ Property / cites work @@
+Transfer principles in nonstandard intuitionistic arithmetic
+Normal rank
@@ Property / cites work @@
+The Herbrand topos
@@ Property / cites work: The Herbrand topos / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform Heyting arithmetic
@@ Property / cites work: Uniform Heyting arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Logical aspects of rates of convergence in metric spaces
+Normal rank
@@ Property / cites work @@
+Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen
+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 modified realizability
@@ Property / cites work: Bounded modified realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded functional interpretation
@@ Property / cites work: Bounded functional interpretation / rank @@
+Normal rank
@@ Property / cites work @@
+Factorization of the Shoenfield-like bounded functional interpretation
+Normal rank
@@ Property / cites work @@
+A quantitative version of Kirk's fixed point theorem for asymptotic contractions
+Normal rank
@@ Property / cites work @@
+Proof mining in topological dynamics
@@ Property / cites work: Proof mining in topological dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3079693
@@ Property / cites work: Q3079693 / rank @@
+Normal rank
@@ Property / cites work @@
+General logical metatheorems for functional analysis
+Normal rank
@@ Property / cites work @@
+On the strength of nonstandard analysis
@@ Property / cites work: On the strength of nonstandard analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A simple proof of the ergodic theorem using nonstandard analysis
+Normal rank
@@ Property / cites work @@
+Theory of models with generalized atomic formulas
@@ Property / cites work: Theory of models with generalized atomic formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed points of asymptotic contractions
@@ Property / cites work: Fixed points of asymptotic contractions / rank @@
+Normal rank
@@ Property / cites work @@
+Some computational aspects of metric fixed-point theory
+Normal rank
@@ Property / cites work @@
+Some logical metatheorems with applications in functional analysis
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+On quantitative versions of theorems due to F. E. Browder and R. Wittmann
+Normal rank
@@ Property / cites work @@
+Mann iterates of directionally nonexpansive mappings in hyperbolic spaces
+Normal rank
@@ Property / cites work @@
+A quantitative mean ergodic theorem for uniformly convex Banach spaces
+Normal rank
@@ Property / cites work @@
+Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces
+Normal rank
@@ Property / cites work @@
+Q5582322
@@ Property / cites work: Q5582322 / rank @@
+Normal rank
@@ Property / cites work @@
+Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation)
+Normal rank
@@ Property / cites work @@
+Intuitionistische Untersuchungen der formalistischen Logik
+Normal rank
@@ Property / cites work @@
+A quadratic rate of asymptotic regularity for CAT(0)-spaces
+Normal rank
@@ Property / cites work @@
+Q3744159
@@ Property / cites work: Q3744159 / rank @@
+Normal rank
@@ Property / cites work @@
+A model for intuitionistic non-standard arithmetic
+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 @@
+The syntax of nonstandard analysis
@@ Property / cites work: The syntax of nonstandard analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Developments in Constructive Nonstandard Analysis
@@ Property / cites work: Developments in Constructive Nonstandard Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+An Effective Conservation Result for Nonstandard Arithmetic
+Normal rank
@@ Property / cites work @@
+Metamathematical problems
@@ Property / cites work: Metamathematical problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4870980
@@ Property / cites work: Q4870980 / rank @@
+Normal rank
@@ Property / cites work @@
+A quantitative nonlinear strong ergodic theorem for Hilbert spaces
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Shoenfield is Gödel after Krivine
@@ Property / cites work: Shoenfield is Gödel after Krivine / rank @@
+Normal rank
@@ Property / cites work @@
+Classical logic, continuation semantics and abstract machines
+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 @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank