- The Birth of Model Theory: Lowenheim's Theorem in the Frame of the Theory of Relatives
- Visual Thinking in Mathematics: An Epistemological Study by Marcus Giaquinto
- From Reducibility to Extensionality The two editions of Principia Mathematica
- Interpreting classical theories in constructive ones
- William Tait. The provenance of pure reason: essays in the phi-losophy of mathematics and its history. Oxford University Press, Oxford,
- Proof as Method: A New Case for Proof in Mathematics Curricula
- Number Theory Jeremy Avigad, Kevin Donnelly, David Gray, Adam Kramer,
- Automated Diagrammatic Reasoning A proof checker for the language of E
- Proof Theory Jeremy Avigad
- WEAK THEORIES OF NONSTANDARD ARITHMETIC AND ANALYSIS
- This is a free offprint provided to the author by the publisher. Copyright restrictions may apply. TRANSACTIONS OF THE
- Understanding, formal verification, and the philosophy of mathematics
- COMPUTERS IN MATHEMATICAL INQUIRY JEREMY AVIGAD
- Understanding Proofs JEREMY AVIGAD
- Philosophy of Mathematics: 5 Questions Jeremy Avigad
- Philosophy of Mathematics Jeremy Avigad
- Dedekind's 1871 version of the theory of ideals
- Gnomes in the Fog: The Reception of Brouwer's Intuitionism in the 1920s by Dennis E. Hesseling
- A variant of the double-negation translation Jeremy Avigad
- 1-conservativity, -submodels, and the collection schema
- Algebraic proofs of cut elimination Jeremy Avigad
- ORDINAL ANALYSIS WITHOUT PROOFS JEREMY AVIGAD
- The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength
- Formalizing Forcing Arguments in Subsystems of Second-Order Arithmetic
- On the Relationship Between ATR0 and ID< Jeremy Avigad
- Plato's ghost: The modernist transformation of mathematics by Jeremy Gray
- Review of Arai's Some results on cut-elimination, provable
- Raymond M. Smullyan First-order logic Corrected republication of XL 237. Dover Publications, New York 1995, xii + 158 pp.
- c 2008 by Yimu Yin. All rights reserved. SETS, MODELS, AND VALUED FIELDS
- Some Results in Logic and Ergodic Theory Henry Towsner
- Axiomatics, methodology, and Dedekind's theory of ideals
- Definition FS.1.1: x0y = x \ y y \ x. Precedence: 60. Definition FS.1.2: x y is the set of (z,w) such that z x and w y.
- A Constructive Version of the Hilbert Basis Theorem
- A Language for Mathematical Knowledge Steve Kieffer
- Computers in Mathematical JEREMY AVIGAD
- Under consideration for publication in Math. Struct. in Comp. Science Zen and the art of formalization
- An ordinal analysis of admissible set theory using recursion on ordinal notations
- Eliminating definitions and Skolem functions in first-order logic
- A Model-Theoretic Approach to Ordinal Analysis
- In Defense of Euclidean Proof Edward T. Dean1
- UNDERSTANDING PROOFS JEREMY AVIGAD
- Under consideration for publication in Theory and Practice of Logic Programming 1 Book review
- Saturated models of universal theories Jeremy Avigad
- Combinatorics in Bounded Arithmetic (Ph.D. Dissertation)
- Review of Proofs and Confirmations: the story of the alternating sign matrix conjecture
- "Clarifying the nature of the infinite": the development of metamathematics
- Mathematical method and proof Jeremy Avigad (avigad@cmu.edu)
- Review of Solomon Feferman's In the Light of Logic by Jeremy Avigad
- Quantifier Elimination and Real Closed Ordered Fields with a Predicate for the Powers
- Godel's Functional ("Dialectica") Interpretation Jeremy Avigad
- Definition MunkTop.12.1: T is a topology on X if and only if T (X) and T and X T and for every S T , S T and for every U, V
- Predicative Functionals and an Interpretation of ID<
- Number theory and elementary arithmetic Jeremy Avigad
- Transfer principles in nonstandard intuitionistic arithmetic
- Forcing in proof theory Jeremy Avigad
- Update procedures and the 1-consistency of arithmetic
- Notes on a formalization of the prime number theorem
- Plausibly Hard Combinatorial Tautologies Jeremy Avigad
- TAMM: "CHAP05" --2005/11/23 --PAGE 179 --#3 Methodology and metaphysics in
- PROOFLESS TEXT Harvey M. Friedman
- Methodology and metaphysics in the development of Dedekind's theory of ideals
- An Effective Proof that Open Sets are Ramsey Jeremy Avigad
- Review of Basic Proof Theory (second edition), by A. S. Troelstra and H. Schwichtenberg
- Counting Zeros over Finite Fields with Grobner Bases May 17, 2009
- Review of Artemov's Explicit provability and constructive semantics
- Fundamental notions of analysis in subsystems of second-order arithmetic
- The metamathematics of ergodic theory Jeremy Avigad
- A Realizability Interpretation for Classical Arithmetic
- Godel and the metamathematical tradition Jeremy Avigad
- Formalizing O notation in Isabelle/HOL Jeremy Avigad and Kevin Donnelly
- -Decidability over the Reals Sicun Gao, Jeremy Avigad, and Edmund M. Clarke
- Counting Zeros over Finite Fields Using Grobner Bases
- -Complete Decision Procedures for Satisfiability over the Reals
- Character and Object Becky Morris
- UNIFORM DISTRIBUTION AND ALGORITHMIC RANDOMNESS JEREMY AVIGAD