First-Order Continuous Induction, and a Logical Study of Real Closed Fields

Saeed Salehi, Mohammadsaleh Zarza

Over the last century, the principle of "induction on the continuum" has been studied by different authors in different formats. All of these different readings are equivalent to o…