Infinitary primitive positive definability over the real numbers with convex relations
Crossref DOI link: https://doi.org/10.1007/s00012-025-00893-9
Published Online: 2025-06-23
Published Print: 2025-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Meyer, Sebastian
Funding for this research was provided by:
Technische Universität Dresden
Text and Data Mining valid from 2025-06-23
Version of Record valid from 2025-06-23
Article History
Received: 5 February 2024
Accepted: 2 May 2025
First Online: 23 June 2025
Declarations
:
: Not applicable.