Definability in hereditarily finite manifolds (Q1363950)

Research on the \(\Sigma\)-definability problem in hereditarily finite superstructures, i.e., systems of the kind \(HF({\mathfrak M})\) for models \(\mathfrak M\) of prime theories, was first carried out in the author's paper ``\(\Sigma\)-definability in admissible sets'' [Sov. Math., Dokl. 32, 767-770 (1985); translation from Dokl. Akad. Nauk SSSR 285, 792-795 (1985; Zbl 0615.03035)]. It was discovered that prime sets (models of zero signature) are insufficient for defining either the complex number field \(\mathbb{C}\), or the real number field \(\mathbb{R}\). But if \(HF(L)\) for linearly ordered sets \(L\) is considered, then in such systems both \(\mathbb{C}\) and ``large'' real-closed fields are \(\Sigma\)-definable. Here, we obtain the criterion for \(\Sigma\)-definability of uncountable models in \(HF(L)\) for dense linear orders \(L\) without ends and give a negative answer to the question of \(\Sigma\)-definability of the field \(\mathbb{R}\).