Uri Andrews. A new spectrum of recursive models using an amalgamation construction. The Journal of Symbolic Logic, vol. 73 (2011), no. 3, pp. 883–896. - Bakhadyr Khoussainov and Antonio Montalbán. A computable ℵ0-categorical structure whose theory computes true arithmetic. The Journal of Symbolic Logic, vol. 72 (2010), no. 2, pp. 728–740

Autor:	Alexander G. Melnikov
Rok vydání:	2013
Předmět:	Philosophy Logic
Zdroj:	The Bulletin of Symbolic Logic. 19:400-401
ISSN:	1943-5894 1079-8986
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::885683ed79abf3b8b92466bc5735591b https://doi.org/10.1017/s1079898600010726 Zobrazit plný text záznamu