Skip to main content
SpringerLink
Log in

On Universal Functions in Hereditarily Finite Superstructures

  • Published:
Siberian Advances in Mathematics Aims and scope Submit manuscript

Abstract

We obtain the necessary and sufficient condition for existence of a universal \(\Sigma \)-function in the hereditarily finite superstructure over a structure. We apply this condition to various well-known classes of structures.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

REFERENCES

  1. Yu. L. Ershov, Definability and Computability (Nauchnaya Kniga, Novosibirsk, 1996; Consultants Bureau, New York, 1996).

    MATH  Google Scholar 

  2. Yu. L. Ershov, V. G. Puzarenko, and A. I. Stukachev, “HF-computability,” in Computability in Context. Computation and Logic in the Real World, 169 (Imperial College Press, London, 2011).

  3. L. Fuchs, Infinite Abelian Groups. Vol. I (Academic Press, New York–London, 1970).

  4. I. Sh. Kalimullin and V. G. Puzarenko, “On principles of computability on admissible sets,” Mat. Trudy 7, 35 (2004) [Siberian Adv. Math. 15, 1 (2004)].

    MATH  Google Scholar 

  5. A. N. Khisamiev, “On the Ershov upper semilattice \(\mathfrak {L}_E \),” Sib. Matem. Zh. 45, 211 (2004) [Siberian Math. J. 45, 173 (2004)].

    Article  MathSciNet  Google Scholar 

  6. A. N. Khisamiev, “On \(\Sigma \)-subsets of naturals over abelian groups,” Sib. Matem. Zh. 47, 695 (2006) [Siberian Math. J. 47, 574 (2006)].

    Article  MathSciNet  Google Scholar 

  7. A. N. Khisamiev, “\(\Sigma \)-bounded algebraic systems and universal functions. I,” Sib. Matem. Zh. 51, 217 (2010) [Siberian Math. J. 51, 178 (2010)].

    Article  MathSciNet  Google Scholar 

  8. A. N. Khisamiev, “\(\Sigma \)-bounded algebraic systems and universal functions. II,” Sib. Matem. Zh. 51, 676 (2010) [Siberian Math. J. 51, 573 (2010)].

    MathSciNet  MATH  Google Scholar 

  9. A. N. Khisamiev, “Universal functions and \(\Sigma _{\omega } \)-bounded structures,” Algebra i logika 60, 210 (2021) [Algebra and Logic 60, 139 (2021)].

    Article  Google Scholar 

  10. A. S. Morozov and V. G. Puzarenko, “\(\Sigma \)-subsets of natural numbers,” Algebra i logika 43, 291 (2004) [Algebra and Logic 43, 162 (2004)].

    Article  MathSciNet  Google Scholar 

  11. V. G. Puzarenko, “Computability in special models,” Sib. Matem. Zh. 46, 185 (2005) [Siberian Math. J. 46, 148 (2005)].

    Article  MathSciNet  Google Scholar 

  12. H. Rogers, Theory of Recursive Functions and Effective Computability (McGraw-Hill, New York–Toronto–London, 1967).

    MATH  Google Scholar 

  13. V. A. Rudnev, “A universal recursive function on admissible sets,” Algebra i logika 25, 425 (1986) [Algebra and Logic 25, 267 (1986)].

    Article  MathSciNet  Google Scholar 

Download references

ACKNOWLEDGMENTS

The author is cordially grateful to Sergeĭ S. Goncharov for formulation of the problem and useful advice.

Funding

The study was carried out within the framework of the state contract of the Sobolev Institute of Mathematics, SB RAS (project 0314-2019-0003).

Author information

Authors and Affiliations

  1. Sobolev Institute of Mathematics, Novosibirsk, 630090, Russia

    A. N. Khisamiev

Authors
  1. A. N. Khisamiev
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to A. N. Khisamiev.

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Khisamiev, A.N. On Universal Functions in Hereditarily Finite Superstructures. Sib. Adv. Math. 32, 115–128 (2022). https://doi.org/10.1134/S1055134422020055

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S1055134422020055

Keywords

Search

Navigation