Jeřábek, Emil Models of \(\mathsf{VTC^0}\) as exponential integer parts. (English) Zbl 07738004 Math. Log. Q. 69, No. 2, 244-260 (2023). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Ehrlich, Philip; Kaplan, Elliot Surreal ordered exponential fields. (English) Zbl 1495.03057 J. Symb. Log. 86, No. 3, 1066-1115 (2021); erratum ibid. 87, No. 2, 871 (2022). Reviewer: Lothar Sebastian Krapp (Konstanz) MSC: 03C64 12J15 12L12 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Carl, Merlin; D’Aquino, Paola; Kuhlmann, Salma On the value group of a model of Peano arithmetic. (English) Zbl 1375.03039 Forum Math. 29, No. 4, 951-957 (2017). Reviewer: Peter Sinclair (Hamilton) MSC: 03C60 03C64 06A05 12J10 12J15 12L12 13A18 12F05 12F10 12F20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv