Local structure of Rogers semilattices of Σ_n⁰-computable numberings

ISSN： 0002-5232

Source： Algebra and Logic, Vol.44, Iss.2, 2005-03, pp. : 82-94

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Elementary Theories for Rogers Semilattices

By Badaev S. Goncharov S. Sorbi A.

Algebra and Logic, Vol. 44, Iss. 3, 2005-05 ,pp. : 143-147

Springer Publishing Company

Access to resources Recommend Favorite

Computable Numberings of the Class of Boolean Algebras with Distinguished Endomorphisms

By Bazhenov N.

Algebra and Logic, Vol. 52, Iss. 5, 2013-11 ,pp. : 355-366

Springer Publishing Company

Access to resources Recommend Favorite

Rogers Semilattices of Finite Partially Ordered Sets

By Ershov Yu.

Algebra and Logic, Vol. 45, Iss. 1, 2006-01 ,pp. : 26-48

Springer Publishing Company

Access to resources Recommend Favorite

A computable ℵ₀-categorical structure whose theory computes true arithmetic

The Journal of Symbolic Logic, Vol. 75, Iss. 2, 2010-06 ,pp. : 728-740

Cambridge University Press

Access to resources Recommend Favorite

Isomorphism types of Rogers semilattices for families from different levels of the arithmetical hierarchy

By Badaev S. Goncharov S. Sorbi A.

Algebra and Logic, Vol. 45, Iss. 6, 2006-11 ,pp. : 361-370

Springer Publishing Company

Access to resources Recommend Favorite