SZEMERÉDI’S THEOREM: AN EXPLORATION OF IMPURITY, EXPLANATION, AND CONTENT

DOI10.1017/S1755020321000538zbMath1522.00148OpenAlexW4200208676MaRDI QIDQ6051422

Patrick J. Ryan

Publication date: 20 September 2023

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020321000538

zbMATH Keywords

proof theoryergodic theoryphilosophy of mathematicsSzemerédi's theoremimpuritymathematical explanationhidden higher-order concepts

Mathematics Subject Classification ID

Measure-preserving transformations (28D05) Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Arithmetic progressions (11B25) Second- and higher-order arithmetic and fragments (03F35) Proof theory in general (including proof-theoretic semantics) (03F03) Additive number theory; partitions (11P99) Relations between ergodic theory and number theory (37A44)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The metamathematics of ergodic theory
• Topological dynamics and combinatorial number theory
• A translation of Bolzano's paper on the intermediate value theorem
• Ergodic behavior of diagonal measures and a theorem of Szemeredi on arithmetic progressions
• How the proof of Baudet's conjecture was found
• The primes contain arbitrarily long arithmetic progressions
• On interpretations of arithmetic and set theory
• Bolzano and Cournot on mathematical explanation / Bolzano et Cournot à propos de l'explication mathématique
• Because Without Cause
• ON THE RELATIONSHIP BETWEEN PLANE AND SOLID GEOMETRY
• On the Depth of Szemeredi's Theorem
• The ergodic theoretical proof of Szemerédi’s theorem
• Metastability in the Furstenberg–Zimmer tower
• What Does it Take to Prove Fermat's Last Theorem? Grothendieck and the Logic of Number Theory
• Quasirandomness, Counting and Regularity for 3-Uniform Hypergraphs
• Poincaré recurrence and number theory
• On sets of integers containing k elements in arithmetic progression
• Bolzano's ideal of algebraic analysis
• Number theory and elementary arithmetic†
• Unifying Scientific Theories
• On the Alleged Simplicity of Impure Proof
• Regularity Lemma for k-uniform hypergraphs
• Why Do Mathematicians Re-prove Theorems?
• Systems of predicative analysis
• Yet another proof of Szemeredi's theorem
• Regular Partitions of Hypergraphs: Counting Lemmas
• The counting lemma for regular k‐uniform hypergraphs
• Applications of the regularity lemma for uniform hypergraphs
• Ergodic Theory
• The Architecture of Mathematics
• A new proof of Szemerédi's theorem
• Mathematical explanation: problems and prospects.

This page was built for publication: SZEMERÉDI’S THEOREM: AN EXPLORATION OF IMPURITY, EXPLANATION, AND CONTENT