Searching for author: j avigad – sorted by Relevance.
21 documents found, showing 1 through 10.
Next 10 →
-
A formally verified proof of the prime number theorem
- …A formally verified proof of the prime number theorem ∗ Jeremy Avigad, Kevin Donnelly, David Gray…
- Cited by 9 (2 self) – Add To MetaCart
-
Plausibly hard combinatorial tautologies
- …Plausibly Hard Combinatorial Tautologies Jeremy Avigad Abstract. We present a simple propositional…
- Cited by 2 (0 self) – Add To MetaCart
-
Gödel's Functional ("Dialectica") Interpretation
- … recursion to finite types. 340 J. Avigad and S. Feferman (a) Intuitionistic arithmetic with principles…
- Cited by 30 (2 self) – Add To MetaCart
-
A Model-Theoretic Approach to Ordinal Analysis
- … TO ORDINAL ANALYSIS JEREMY AVIGAD AND RICHARD SOMMER Abstract. We describe a model-theoretic approach…
- Cited by 10 (2 self) – Add To MetaCart
-
doi:10.1017/S0016756805001640 Printed in the United Kingdom Provenance of north Gondwana Cambrian–Ordovician sandstone: U–Pb SHRIMP dating of detrital zircons from Israel and Jordan
- …–Pb SHRIMP dating of detrital zircons from Israel and Jordan K. KOLODNER*†, D. AVIGAD*, M. MCWILLIAMS‡, J. L…
- Add To MetaCart
-
A language for mathematical knowledge management
- … Kieffer 1 , Jeremy Avigad 2 , and Harvey Friedman 3⋆ 1 Simon Fraser University 2 Carnegie Mellon…
- Add To MetaCart
-
Number theory and elementary arithmetic
- …Number theory and elementary arithmetic ∗ Jeremy Avigad June 12, 2002 Abstract Elementary…
- Cited by 5 (2 self) – Add To MetaCart
-
Saturated models of universal theories
- …Saturated models of universal theories ∗ Jeremy Avigad October 2001 Abstract A notion called…
- Cited by 4 (3 self) – Add To MetaCart
-
Update procedures and the 1-consistency of arithmetic
- …Update procedures and the 1-consistency of arithmetic ∗ Jeremy Avigad February 8, 2002 Abstract…
- Cited by 4 (0 self) – Add To MetaCart
-
Forcing in Proof Theory
- …Forcing in proof theory ∗ Jeremy Avigad November 3, 2004 Abstract Paul Cohen’s method of forcing…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
