On $\Sigma$-representability of countable structures over real numbers, complex numbers and quaternions

Morozov, Andrei and Korovina, Margarita (2008) On $\Sigma$-representability of countable structures over real numbers, complex numbers and quaternions. Algebra and Logic, 47 (3). pp. 335-363. ISSN 0002-5232

[thumbnail of algebra_logic_08_morkor.pdf] PDF
algebra_logic_08_morkor.pdf

Download (606kB)

Abstract

We study Σ-definability of countable models over hereditarily finite superstructures over the field ℝ of reals, the field ℂ of complex numbers, and over the skew field ℍ of quaternions. In particular, it is shown that each at most countable structure of a finite signature, which is Σ-definable over HF(ℝ) with at most countable equivalence classes and without parameters, has a computable isomorphic copy. Moreover, if we lift the requirement on the cardinalities of the classes in a definition then such a model can have an arbitrary hyperarithmetical complexity, but it will be hyperarithmetical in any case. Also it is proved that any countable structure Σ-definable over HF(ℂ), possibly with parameters, has a computable isomorphic copy and that being Σ-definable over HF(H) is equivalent to being Σ-definable over HF(ℝ).

Item Type: Article
Uncontrolled Keywords: CICADA, countable model,computable model, $\Sigma$-definability
Subjects: MSC 2010, the AMS's Mathematics Subject Classification > 03 Mathematical logic and foundations
MSC 2010, the AMS's Mathematics Subject Classification > 68 Computer science
Depositing User: Dr Margarita Korovina
Date Deposited: 08 Jan 2010
Last Modified: 20 Oct 2017 14:12
URI: https://eprints.maths.manchester.ac.uk/id/eprint/1382

Actions (login required)

View Item View Item