Real closed fields via strong Solovay reducibility

News
23 May 2025, Accepted
26 Apr 2025, New preprint
26 Dec 2024, New Page

Title
Real closed fields via strong Solovay reducibility
Masahiro Kumabe, Kenshi Miyabe, and Toshio Suzuki

Type
Research paper

Journal
Accepted by Computability on 23 May, 2025

Download
preprint