The following pages link to Andrew Arana (Q207404):
Displaying 14 items.
- Descartes and the cylindrical helix (Q990263) (← links)
- On the relationship between plane and solid geometry (Q2890699) (← links)
- On the Depth of Szemeredi's Theorem (Q2965636) (← links)
- Proof Theory in Philosophy of Mathematics (Q3160752) (← links)
- Purity in Arithmetic: some Formal and Informal Issues (Q3452180) (← links)
- (Q3597502) (← links)
- On Formally Measuring and Eliminating Extraneous Notions in Proofs (Q3639197) (← links)
- (Q4562090) (← links)
- On the Alleged Simplicity of Impure Proof (Q4593639) (← links)
- T. Button and S. Walsh. Philosophy and Model Theory. Oxford University Press, Oxford, 2018, xvi + 517 pp. (Q4984862) (← links)
- Plane and Solid Geometry: A Note on Purity of Methods (Q5213623) (← links)
- Arithmetical independence results using higher recursion theory (Q5313376) (← links)
- (Q5711875) (← links)
- Solovay's theorem cannot be simplified (Q5945397) (← links)