Andrew Arana

MaRDI QIDQ207404zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Mathematical hygiene (edit) Synthese	2026-03-31	Paper
Purity and Explanation: Essentially Linked? Mathematical Knowledge, Objects and Applications	2024-02-12	Paper
T. Button and S. Walsh. Philosophy and Model Theory. Oxford University Press, Oxford, 2018, xvi + 517 pp. The Bulletin of Symbolic Logic	2021-04-21	Paper
Plane and solid geometry: a note on purity of methods Boston Studies in the Philosophy and History of Science	2020-02-04	Paper
scientific article; zbMATH DE number 6994084 (Why is no real title available?)	2018-12-17	Paper
On the Alleged Simplicity of Impure Proof Simplicity: Ideals of Practice in Mathematics and the Arts	2017-11-22	Paper
On the depth of Szemerédi's theorem Philosophia Mathematica	2017-03-03	Paper
Purity in arithmetic: some formal and informal issues Formalism and Beyond	2015-11-18	Paper
On the relationship between plane and solid geometry The Review of Symbolic Logic	2012-06-11	Paper
Proof theory in philosophy of mathematics Philosophy Compass	2010-10-08	Paper
Descartes and the cylindrical helix Historia Mathematica	2010-09-06	Paper
On Formally Measuring and Eliminating Extraneous Notions in Proofs Philosophia Mathematica	2009-10-29	Paper
Logical and semantic purity	2009-02-09	Paper
scientific article; zbMATH DE number 2236624 (Why is no real title available?)	2005-12-08	Paper
Arithmetical independence results using higher recursion theory Journal of Symbolic Logic	2005-08-29	Paper
Solovay's theorem cannot be simplified Annals of Pure and Applied Logic	2002-01-24	Paper

Research outcomes over time

This page was built for person: Andrew Arana