%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/


%% Created for Larry Paulson at 2023-11-01 16:22:57 +0000 


%% Saved with string encoding Unicode (UTF-8) 



@misc{arthan2004eudoxus,
	archiveprefix = {arXiv},
	author = {R. D. Arthan},
	date-modified = {2023-11-01 16:22:57 +0000},
	eprint = {math/0405454},
	howpublished = {arXiv:math/0405454},
	primaryclass = {math.HO},
	title = {The {Eudoxus} Real Numbers},
	url = {https://doi.org/10.48550/arXiv.math/0405454},
	year = {2004}}
