We introduce a class of existentially Steinitz structures containing, in particular, the fields of real and complex numbers. A general result is proved which implies that if \( \mathfrak{M} \) is an existentially Steinitz structure then the following structures cannot be embedded in any structure Σ-presentable with trivial equivalence over ℍ\( \mathbb{F} \)(\( \mathfrak{M} \)): the Boolean algebra of all subsets of ω, its factor modulo the ideal consisting of finite sets, the group of all permutations on ω, its factor modulo the subgroup of all finitary permutations, the semigroup of all mappings from ω to ω, the lattice of all open sets of real numbers, the lattice of all closed sets of real numbers, the group of all permutations of ℝ Σ-definable with parameters over ℍ\( \mathbb{F} \)(ℝ), and the semigroup of such mappings from ℝ to ℝ.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Yu. L. Ershov, “Σ-definability of algebraic structures,” in Handbook of Recursive Mathematics, Vol. 1, Recursive Model Theory, Y. L. Ershov et al. (Eds.), Stud. Log. Found. Math., 138, Elsevier, Amsterdam (1998), pp. 235-260.
Yu. L. Ershov, Definability and Computability, Sib. School Alg. Log. [in Russian], Nauch. Kniga, Novosibirsk (1996).
J. Barwise, Admissible Sets and Structures, Springer, Berlin (1975).
A. S. Morozov, “Some presentations of the real number field,” Algebra and Logic, 51, No. 1, 66-88 (2012).
A. S. Morozov, “One-dimensional Σ-presentations of structures over ℍ\( \mathbb{F} \)(ℝ),” in Infinity, Computability, and Metamathematics: Festschrift Celebrating the 60th Birthdays of Peter Koepke and Philip Welch, Tributes, 23, S. Geschke et al. (Eds.), College Publ. (2014).
A. S. Morozov and M. V. Korovina, “Σ-definability of countable structures over real numbers, complex numbers, and quaternions,” Algebra and Logic, 47, No. 3, 193-209 (2008).
A. S. Morozov, “Σ-presentations of the ordering on the reals,” Algebra and Logic, 53, No. 3, 217-237 (2014).
A. S. Morozov, “Σ-rigid presentations of the real order,” Sib. Math. J., 55, No. 3, 457-464 (2014).
A. S. Morozov, “Nonpresentability of the semigroup ω ω over ℍ\( \mathbb{F} \)(ℝ),” Sib. Math. J., 55, No. 1, 125-131 (2014).
G. Metakides and A. Nerode, “Recursion theory on fields and abstract dependence,” J. Alg., 65, 36-59 (1980).
D. Marker, Model Theory: An Introduction, Grad. Texts Math., 217, Springer, New York (2002).
Yu. L. Ershov, V. G. Puzarenko, and A. I. Stukachev, “ℍ\( \mathbb{F} \)-computability,” in Computability in Context. Computation and Logic in the Real World, S. B. Cooper et al. (Eds.), Imperial College Press, London (2011), pp. 169-242.
Author information
Authors and Affiliations
Corresponding author
Additional information
Supported by the Grants Council (under RF President) for State Aid of Leading Scientific Schools, grant NSh-860.2014.1.
Translated from Algebra i Logika, Vol. 55, No. 3, pp. 366-379, May-June, 2016.
Rights and permissions
About this article
Cite this article
Morozov, A.S. A Sufficient Condition for Nonpresentability of Structures in Hereditarily Finite Superstructures. Algebra Logic 55, 242–251 (2016). https://doi.org/10.1007/s10469-016-9392-7
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-016-9392-7