A Computable Structure with Non-Standard Computability

Результат исследования: Научные публикации в периодических изданияхстатья

Аннотация

We find an example of a computable admissible set whose level of computability is higher than that of the standard model of Peano arithmetic. As a byproduct, we construct a 1-decidable model of an undecidable submodel complete theory.

Язык оригиналаанглийский
Страницы (с-по)77-115
Число страниц39
ЖурналSiberian Advances in Mathematics
Том29
Номер выпуска2
DOI
СостояниеОпубликовано - 1 апр 2019

Fingerprint Подробные сведения о темах исследования «A Computable Structure with Non-Standard Computability». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать