RELATIVELY INTRINSICALLY ARITHMETICAL SETS

TitleRELATIVELY INTRINSICALLY ARITHMETICAL SETS
Publication TypeJournal Article
Year of Publication2005
AuthorsNikolova S
JournalAnnuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique
Volume97
Keywordsabstract, computability, definability
Abstract

Sets that have $\sum_n^0$ ($\prod_n^0$, arithmetical) associates in every partial enumeration of given countable abstract structure are considered. Some minimal classes of partial enumerations are obtained such that admissibility in every such class yields the respective definability.

2000 MSC

03D70, 03D75

AttachmentSize
PDF icon 0397.pdf54.17 KB
AttachmentSize
PDF icon 97-041-062.pdf2.43 MB