References in:

Notes on a formalization of the prime number theorem

You must login to add references.

The prime number theorem and fragments ofP A.C. Cornaros & C. Dimitracopoulos - 1994 - Archive for Mathematical Logic 33 (4):265-281.details We show that versions of the prime number theorem as well as equivalent statements hold in an arbitrary model ofIΔ 0+exp. Areas of Mathematics in Philosophy of Mathematics Direct download (3 more) Export citation Bookmark 4 citations
Formalizing O notation in isabelle/hol.Jeremy Avigad - manuscriptdetails We describe a formalization of asymptotic O notation using the Isabelle/HOL proof assistant. Proof Theory in Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 3 citations

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...