Real closed fields via strong Solovay reducibility

News
26 Dec 2024, New Page

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

Type
Research paper

Journal
Submitted to a journal

Download
preprint