P 0 1 \pi^0_1 -presentations of algebras

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


In this paper we study the question as to which computable algebras are isomorphic to non-computable \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Pi_{1}^{0}$$\end{document}-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\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Pi_{1}^{0}$$\end{document}-presentations. On the other hand, many of this structures fail to have non-computable \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Sigma_{1}^{0}$$\end{document}-presentation.



    Upload a copy of this work     Papers currently archived: 74,569

External links

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

Through your library

Similar books and articles


Added to PP

28 (#413,374)

6 months
1 (#418,511)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

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