The metamathematics of ergodic theory
type: Item
instance of: scholarly article
title: The metamathematics of ergodic theory
zbMATH Open document ID: 1168.03047
author: Jeremy Avigad
published in: Annals of Pure and Applied Logic
publication date: 2009-03-25T00:00:00Z
Mathematics Subject Classification ID: 03F60
Mathematics Subject Classification ID: 37A30
zbMATH DE Number: 5532829
zbMATH Keywords: ergodic theory
zbMATH Keywords: computability
zbMATH Keywords: constructive mathematics
zbMATH Keywords: proof theory
MaRDI profile type: Publication
full work available at URL: j.apal.2008.09.001
OpenAlex ID: W2082393006
cites work: Q3025192
cites work: Computable structures and the hyperarithmetical hierarchy
cites work: Interpreting classical theories in constructive ones
cites work: Number theory and elementary arithmetic†
cites work: Q4215634
cites work: Local stability of ergodic averages
cites work: Fundamental notions of analysis in subsystems of second-order arithmetic
cites work: Functional interpretation and inductive definitions
cites work: Q5687997
cites work: The complexity of the collection of measure-distal transformations
cites work: The Warshall algorithm and Dickson's lemma: Two examples of realistic program extraction
cites work: Proof of the Ergodic Theorem
cites work: An upcrossing inequality with applications
cites work: Q5591514
cites work: Q5537986
cites work: Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
cites work: Handbook of proof theory
cites work: A new method for establishing conservativity of classical systems over their intuitionistic version
cites work: Q4039813
cites work: Q4893763
cites work: Hilbert's program relativized; Proof-theoretical and foundational reductions
cites work: Q4793434
cites work: Q4179016
cites work: Finite functions and the necessary use of large cardinals
cites work: Q4793024
cites work: Ergodic behavior of diagonal measures and a theorem of Szemeredi on arithmetic progressions
cites work: Q3909268
cites work: An ergodic Szemerédi theorem for commuting transformations
cites work: The ergodic theoretical proof of Szemerédi’s theorem
cites work: Topological dynamics and combinatorial number theory
cites work: General logical metatheorems for functional analysis
cites work: Q3773876
cites work: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
cites work: ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
cites work: Collected works. Volume I: Publications 1929--1936. Edited by Solomon Feferman and others.
cites work: A new proof of Szemerédi's theorem
cites work: The primes contain arbitrarily long arithmetic progressions
cites work: Upcrossing inequalities for stationary sequences and applications
cites work: ∏ 0 1 Classes and Degrees of Theories
cites work: Oscillation in ergodic theory
cites work: Counting in Ergodic Theory
cites work: The rate of convergence in ergodic theorems
cites work: Fluctuations of ergodic averages
cites work: Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
cites work: Dynamical Systems of Continuous Spectra
cites work: The Green-Tao Theorem on arithmetic progressions in the primes: an ergodic point of view
cites work: On weak completeness of intuitionistic predicate logic
cites work: On the Interpretation of Non-Finitist Proofs--Part I
cites work: Q5344164
cites work: On the speed of convergence in the ergodic theorem
cites work: Elementary induction on abstract structures
cites work: Q3994907
cites work: The pointwise ergodic theorem in subsystems of second-order arithmetic
cites work: Q4220572
cites work: Q5724782
cites work: On sets of integers containing k elements in arithmetic progression
cites work: A quantitative ergodic theory proof of Szemerédi's theorem
cites work: Norm convergence of multiple ergodic averages for commuting transformations
cites work: Proof of the Quasi-Ergodic Hypothesis
cites work: Ergodic theorems for individual random sequences
cites work: Q4485693
cites work: Q3313833
DOI: 10.1016/J.APAL.2008.09.001