Počet záznamů: 1
Recursive functions and existentially closed structures
- 1.
SYSNO ASEP 0524146 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název Recursive functions and existentially closed structures Tvůrce(i) Jeřábek, Emil (MU-W) RID, SAI, ORCID Číslo článku 2050002 Zdroj.dok. Journal of Mathematical Logic. - : World Scientific Publishing - ISSN 0219-0613
Roč. 20, č. 1 (2020)Poč.str. 52 s. Jazyk dok. eng - angličtina Země vyd. SG - Singapur Klíč. slova classification theory ; relative interpretation ; representability of recursive functions Vědní obor RIV BA - Obecná matematika Obor OECD Pure mathematics CEP IAA100190902 GA AV ČR - Akademie věd GBP202/12/G061 GA ČR - Grantová agentura ČR Způsob publikování Omezený přístup Institucionální podpora MU-W - RVO:67985840 UT WOS 000535160700005 EID SCOPUS 85070808340 DOI 10.1142/S0219061320500026 Anotace The purpose of this paper is to clarify the relationship between various conditions implying essential undecidability: our main result is that there exists a theory T in which all partially recursive functions are representable, yet T does not interpret Robinson's theory R. To this end, we borrow tools from model theory-specifically, we investigate model-theoretic properties of the model completion of the empty theory in a language with function symbols. We obtain a certain characterization of theories interpretable in existential theories in the process. Pracoviště Matematický ústav Kontakt Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Rok sběru 2021 Elektronická adresa https://doi.org/10.1142/S0219061320500026
Počet záznamů: 1