Skip to main content
SpringerLink
Log in

Negative Numberings in Admissible Sets. II

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

Abstract

We describe constructions that are used in the proof of the main result of the first part of the article. They are based on automorphisms and properties of the Cantor space.

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.

Institutional subscriptions

Similar content being viewed by others

REFERENCES

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

    Google Scholar 

  2. W. Hodges, Model Theory (Cambridge Univ. Press, Cambridge, 1993).

    Book  Google Scholar 

  3. I. Sh. Kalimullin and V. G. Puzarenko, “Reducibility on families,” Algebra i logika 48, 31 (2009) [Algebra and Logic 48, 20 (2009)].

    Article  MathSciNet  Google Scholar 

  4. I. Sh. Kalimullin, V. G. Puzarenko, and M. Kh. Faĭzrakhmanov, “Negative numberings in admissible sets. I,” Mat. Trudy 26, no. 1, 47 (2023) [Siberian Adv. Math. 33, 293 (2023)].

    Article  MathSciNet  Google Scholar 

  5. V. G. Puzarenko, “Decidable computable \(\mathbb {A} \)-numberings,” Algebra i logika 41, 568 (2002) [Algebra and Logic 41, 314 (2002)].

    Article  MathSciNet  Google Scholar 

Download references

Funding

The work of the first and third authors was partially supported by the Russian Scientific Foundation (project no. 23-21-00181) and carried out within the framework of the Program for development of the Scientific and Educational Mathematical Center of Volga Federal District (agreement no. 075-02-2023-944). The work of the second author was partially supported by the Russian Ministry of Science and Higher Education (project no. FWNF-2022-0012).

Author information

Authors and Affiliations

  1. Kazan Federal University, Kazan, 420008, Russia

    I. Sh. Kalimullin & M. Kh. Faizrakhmanov

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

    V. G. Puzarenko

  3. Novosibirsk State University, Novosibirsk, 630090, Russia

    V. G. Puzarenko

Authors
  1. I. Sh. Kalimullin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. V. G. Puzarenko
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. M. Kh. Faizrakhmanov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to I. Sh. Kalimullin, V. G. Puzarenko or M. Kh. Faizrakhmanov.

Additional information

CONFLICT OF INTEREST. The authors of this work declare that they have no conflicts of interest.

Publisher’s Note. Pleiades Publishing remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Kalimullin, I.S., Puzarenko, V.G. & Faizrakhmanov, M.K. Negative Numberings in Admissible Sets. II. Sib. Adv. Math. 34, 41–66 (2024). https://doi.org/10.1134/S1055134424010024

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

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

Keywords

Search

Navigation