Purity of Methods M Detlefsen, A Arana Philosophers' Imprint 11 (2), 2011 | 97 | 2011 |
On the relationship between plane and solid geometry A Arana, P MANCOSU The Review of Symbolic Logic 1 (1), 1-60, 2012 | 65 | 2012 |
On formally measuring and eliminating extraneous notions in proofs A Arana Philosophia Mathematica 17 (2), 189-207, 2009 | 31 | 2009 |
Logical and semantic purity A Arana Philosophy of mathematics. Set theory, measuring theories, and nominalism, 40-52, 2008 | 31 | 2008 |
On the alleged simplicity of impure proof A Arana Simplicity: Ideals of practice in mathematics and the arts, 205-226, 2017 | 24 | 2017 |
Imagination in mathematics A Arana The Routledge handbook of philosophy of imagination, 463-477, 2016 | 22 | 2016 |
On the Depth of Szemerédi's Theorem A Arana Philosophia Mathematica 23 (2), 163-176, 2015 | 19 | 2015 |
Descartes and the cylindrical helix P Mancosu, A Arana Historia Mathematica 37 (3), 403-427, 2010 | 17 | 2010 |
Purity in arithmetic: Some formal and informal issues A Arana Formalism and beyond. On the nature of mathematical discourse, 315-335, 2014 | 15 | 2014 |
Takeuti's proof theory in the context of the Kyoto School R Akiyoshi, A Arana 哲学論叢 46, 1-17, 2019 | 10 | 2019 |
Solovay's theorem cannot be simplified A Arana Annals of Pure and Applied Logic 112 (1), 27-41, 2001 | 8 | 2001 |
L’infinité des nombres premiers: une étude de cas de la pureté des méthodes A Arana Les études philosophiques, 193-213, 2011 | 6 | 2011 |
Review of D. Corfield's Toward A Philosophy Of Real Mathematics A Arana | 5 | 2007 |
Purity and explanation: Essentially linked? A Arana Mathematical Knowledge, Objects and Applications: Essays in Memory of Mark …, 2022 | 3 | 2022 |
Idéaux de preuve: explication et pureté A Arana | 3 | 2022 |
Plane and solid geometry: A note on purity of methods P Mancosu, A Arana From Logic to Practice: Italian Studies in the Philosophy of Mathematics, 23-31, 2014 | 3 | 2014 |
Proof theory in philosophy of mathematics A Arana Philosophy Compass 5 (4), 336-347, 2010 | 3 | 2010 |
Possible m-diagrams of models of arithmetic A Arana Reverse Mathematics 2001, 1-18, 2005 | 2 | 2005 |
On the difficulty of discovering mathematical proofs A Arana, W Stafford Synthese 202 (2), 38, 2023 | 1 | 2023 |
The changing practices of proof in mathematics: Gilles Dowek: Computation, proof, machine. Cambridge: Cambridge University Press, 2015. Translation of Les Métamorphoses du … A Arana Metascience 26 (1), 131-135, 2017 | 1 | 2017 |