Dâ€™Aquino, P., A sharpened version of McAloonâ€™s theorem on initial segments of models of Ido, Annals of Pure and Applied Logic 61 (1993) 49-62. A generalization is given of McAloonâ€™s result (1982) onâ€¦ (More)

Let R be a real closed field. An integer part I for R is a discretely ordered subring such that for every r âˆˆ R, there exists an i âˆˆ I so that i â‰¤ r < i+ 1. Mourgues and Ressayre [11] showed thatâ€¦ (More)

We study the relative strength of the two axioms (P) Every Pell equation has a nontrivial solution (exp) Exponentiation is total over weak fragments, and we show they are equivalent over IE,. We thenâ€¦ (More)

We address an error in the original paper [1]. Proposition 3.1 in [1] was incorrect as stated. In particular, the purported implications 2 =â‡’ 1 and 3 =â‡’ 1 are false; there exists a real closed fieldâ€¦ (More)