$$\Pi^0_1$$ -Presentations of Algebras

Archive for Mathematical Logic 45 (6):769-781 (2006)


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

Download options


    Upload a copy of this work     Papers currently archived: 72,743

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

28 (#413,193)

6 months
1 (#387,390)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Hiearchies of Boolean Algebras.Lawrence Feiner - 1970 - Journal of Symbolic Logic 35 (3):365-374.
Stability Among R.E. Quotient Algebras.John Love - 1993 - Annals of Pure and Applied Logic 59 (1):55-63.

Add more references

Citations of this work

No citations found.

Add more citations

Similar books and articles

P 0 1 \pi^0_1 -Presentations of Algebras.Bakhadyr Khoussainov, Theodore Slaman & Pavel Semukhin - 2006 - Archive for Mathematical Logic 45 (6):769-781.
Space Complexity of Abelian Groups.Douglas Cenzer, Rodney G. Downey, Jeffrey B. Remmel & Zia Uddin - 2009 - Archive for Mathematical Logic 48 (1):115-140.
Free Łukasiewicz Implication Algebras.José Patricio Díaz Varela - 2008 - Archive for Mathematical Logic 47 (1):25-33.
Computable Models of Theories with Few Models.Bakhadyr Khoussainov, Andre Nies & Richard A. Shore - 1997 - Notre Dame Journal of Formal Logic 38 (2):165-178.