Models of VTC^0 as exponential integer parts

0575115 - MÚ 2024 RIV US eng J - Článek v odborném periodiku
Jeřábek, Emil
Models of VTC^0 as exponential integer parts.
Mathematical Logic Quarterly. Roč. 69, č. 2 (2023), s. 244-260. ISSN 0942-5616. E-ISSN 1521-3870
Grant CEP: GA ČR(CZ) GA23-04825S
Institucionální podpora: RVO:67985840
Klíčová slova: logic * mathematics
Obor OECD: Pure mathematics
Impakt faktor: 0.3, rok: 2022
Způsob publikování: Open access
https://doi.org/10.1002/malq.202300001

We prove that (additive) ordered group reducts of nonstandard models of the bounded arithmetical theory (Figure presented.) are recursively saturated in a rich language with predicates expressing the integers, rationals, and logarithmically bounded numbers. Combined with our previous results on the construction of the real exponential function on completions of models of (Figure presented.), we show that every countable model of (Figure presented.) is an exponential integer part of a real-closed exponential field.
Trvalý link: https://hdl.handle.net/11104/0344971