@misc{indiciae2a2a36538a94,
  title = {First-Order Continuous Induction, and a Logical Study of Real Closed Fields},
  author = {Saeed Salehi and Mohammadsaleh Zarza},
  year = {2019},
  doi = {10.1007/s41980-019-00252-0},
  url = {https://arxiv.org/abs/1811.00284},
  note = {Source identifier: 1811.00284}
}