Computable model theory over the reals

Research output: Contribution to journalArticlepeer-review


This paper is a survey of results together with a list of open questions on Σ–definability of structures over HF(R), the hereditarily finite superstructure over the ordered field of the real numbers.

Original languageEnglish
Pages (from-to)354-365
Number of pages12
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publication statusPublished - 1 Jan 2017


Dive into the research topics of 'Computable model theory over the reals'. Together they form a unique fingerprint.

Cite this