Real fields with characterization of the natural numbers

@article{Madison1972RealFW,
  title={Real fields with characterization of the natural numbers},
  author={Eugene W. Madison},
  journal={Notre Dame Journal of Formal Logic},
  year={1972},
  volume={13},
  pages={211-218}
}