Počet záznamů: 1
The theory of hereditarily bounded sets
- 1.
SYSNO ASEP 0556685 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 The theory of hereditarily bounded sets Tvůrce(i) Jeřábek, Emil (MU-W) RID, SAI, ORCID Zdroj.dok. Mathematical Logic Quarterly. - : Wiley - ISSN 0942-5616
Roč. 68, č. 2 (2022), s. 243-256Poč.str. 14 s. Jazyk dok. eng - angličtina Země vyd. DE - Německo Klíč. slova hereditarily finite sets ; pairing function ; decidability Vědní obor RIV BA - Obecná matematika Obor OECD Pure mathematics CEP GA19-05497S GA ČR - Grantová agentura ČR Způsob publikování Omezený přístup Institucionální podpora MU-W - RVO:67985840 UT WOS 000777467300001 EID SCOPUS 85127428881 DOI 10.1002/malq.202100020 Anotace We show that for any finite k, the structure of sets that are hereditarily of size at most k is decidable. We provide a transparent complete axiomatization of its theory, a quantifier elimination result, and tight bounds on its computational complexity. This stands in stark contrast to the structure of hereditarily finite sets, which is well known to be bi-interpretable with the standard model of arithmetic. Pracoviště Matematický ústav Kontakt Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Rok sběru 2023 Elektronická adresa https://doi.org/10.1002/malq.202100020
Počet záznamů: 1