Skip to main content
SpringerLink
Log in

\(\Pi^0_1\)-Presentations of Algebras

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

Abstract

In this paper we study the question as to which computable algebras are isomorphic to non-computable \(\Pi_{1}^{0}\)-algebras. We show that many known algebras such as the standard model of arithmetic, term algebras, fields, vector spaces and torsion-free abelian groups have non-computable\(\Pi_{1}^{0}\)-presentations. On the other hand, many of this structures fail to have non-computable \(\Sigma_{1}^{0}\)-presentation.

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. Computability theory and its applications: current trends and open problems. In: Cholak P., Lempp S., Lerman M., Shore R. (eds.) Proceedings of a AMS-IMS-SIAM joint summer research conference (1999)

  2. Feiner L. (1970) Hierarchies of Boolean algebras. J. Symbo. Log. 35, 365–374

    Article  MathSciNet  Google Scholar 

  3. In: Griffor E. (ed.) Handbook of computability theory, Elsevier Amsterdam (1999)

  4. In: Marek V., Remmel J., Nerode A., Goncharov S., Ershov Yu. (eds.) Handbook of recursive mathematics, vol. 1, 2, Elsevier Amsterdam (1998)

  5. Kasymov N. (1987) Algebras with finitely approximable positively representable enrichments. Algebra Log. 26(6): 715–730

    MATH  MathSciNet  Google Scholar 

  6. Kasymov N. (1991) Positive algebras with congruences of finite index. Algebra Log. 30(3): 293–305

    MATH  MathSciNet  Google Scholar 

  7. Kasymov N., Khoussainov B. (1986) Finitely generated enumerable and absolutely locally finite algebras. Vychisl. Systemy. 116, 3–15

    MATH  MathSciNet  Google Scholar 

  8. Khoussainov B., Lempp S. Slaman T. (2006) Computably enumerable algebras, their expansions and isomorphisms. The Int. J. Algebra Comput. (accepted)

  9. Love J. (1993) Stability among r.e. quotient algebras. Ann. Pure Appl. Log. 59, 55–63

    Article  MATH  MathSciNet  Google Scholar 

  10. Soare R. (1987) Recursively enumerable sets and degrees. Springer Berlin Heidelberg, New York

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, The University of Auckland, Private Bag 92019, Auckland, New Zealand

    Bakhadyr Khoussainov & Pavel Semukhin

  2. Department of Mathematics, The University of California, 719 Evans Hall #3840, Berkeley, CA, 94720-3840, USA

    Theodore Slaman

  3. Department of Mathematics, Novosibirsk State University, Novosibirisk, Russia

    Pavel Semukhin

Authors
  1. Bakhadyr Khoussainov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Theodore Slaman
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Pavel Semukhin
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Bakhadyr Khoussainov.

Additional information

This research was partially supported by the Marsden Fund of New Zealand. The third author’s research was partially supported by RFFR grant No. 02-01-00593 and Council for Grants under RF President, project NSh-2112.2003.1.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Khoussainov, B., Slaman, T. & Semukhin, P. \(\Pi^0_1\)-Presentations of Algebras. Arch. Math. Logic 45, 769–781 (2006). https://doi.org/10.1007/s00153-006-0013-3

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-006-0013-3

Keywords

Search

Navigation