The following pages link to Jeremy Avigad (Q287376):
Displaying 50 items.
- A heuristic prover for real inequalities (Q287379) (← links)
- Inverting the Furstenberg correspondence (Q445209) (← links)
- Algorithmic randomness, reverse mathematics, and the dominated convergence theorem (Q714719) (← links)
- Mathematical method and proof (Q857692) (← links)
- Quantifier elimination for the reals with a predicate for the powers of two (Q868941) (← links)
- The metamathematics of ergodic theory (Q1006602) (← links)
- An effective proof that open sets are Ramsey (Q1128188) (← links)
- Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\) (Q1295369) (← links)
- Algebraic proofs of cut elimination (Q1349247) (← links)
- (Q1407557) (redirect page) (← links)
- Transfer principles in nonstandard intuitionistic arithmetic (Q1407559) (← links)
- A formally verified proof of the central limit theorem (Q1694568) (← links)
- Uncomputably noisy ergodic limits (Q1762356) (← links)
- Saturated models of universal theories (Q1861531) (← links)
- The concept of ``character'' in Dirichlet's theorem on primes in an arithmetic progression (Q2249437) (← links)
- Fundamental notions of analysis in subsystems of second-order arithmetic (Q2368910) (← links)
- Ultraproducts and metastability (Q2439656) (← links)
- Formalizing forcing arguments in subsystems of second-order arithmetic (Q2563983) (← links)
- A decision procedure for linear ``big O'' equations (Q2642465) (← links)
- Reliability of mathematical inference (Q2695405) (← links)
- Interpreting classical theories in constructive ones (Q2710607) (← links)
- (Q2776806) (← links)
- Thomas Hales. Dense Sphere Packings: A Blueprint for Formal Proofs. Cambridge University Press, Cambridge, 2012, xiv + 271 pp. (Q2795210) (← links)
- Alan Turing: His Work and Impact, A Book Review (Q2813219) (← links)
- Mathematics and language (Q2851818) (← links)
- A Heuristic Prover for Real Inequalities (Q2879243) (← links)
- δ-Complete Decision Procedures for Satisfiability over the Reals (Q2908499) (← links)
- Logic's Lost Genius and Gentzen's Centenary (Q2953017) (← links)
- Delta-Decidability over the Reals (Q2986807) (← links)
- The computational content of classical arithmetic (Q3001090) (← links)
- Metastability in the Furstenberg–Zimmer tower (Q3066718) (← links)
- (Q3079616) (← links)
- Zen and the art of formalisation (Q3094169) (← links)
- A metastable dominated convergence theorem (Q3145970) (← links)
- Local stability of ergodic averages (Q3402200) (← links)
- The Lean Theorem Prover (System Description) (Q3454108) (← links)
- Functional interpretation and inductive definitions (Q3655246) (← links)
- (Q4215634) (← links)
- The model-theoretic ordinal analysis of theories of predicative strength (Q4254639) (← links)
- A Model-Theoretic Approach to Ordinal Analysis (Q4338039) (← links)
- (Q4375783) (← links)
- Number theory and elementary arithmetic† (Q4467928) (← links)
- AN ORDINAL ANALYSIS OF ADMISSIBLE SET THEORY USING RECURSION ON ORDINAL NOTATIONS (Q4551993) (← links)
- Opinion: The Mechanization of Mathematics (Q4553308) (← links)
- Forcing in Proof Theory (Q4678943) (← links)
- (Q4793022) (← links)
- (Q4904162) (← links)
- Uniform distribution and algorithmic randomness (Q4916564) (← links)
- (Q4944901) (← links)
- Mathematical Logic and Computation (Q5093873) (← links)
