Počet záznamů: 1
On Equality and Natural Numbers in Cantor-Lukasiewicz Set Theory
- 1.
SYSNO ASEP 0343863 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 On Equality and Natural Numbers in Cantor-Lukasiewicz Set Theory Tvůrce(i) Hájek, Petr (UIVT-O) RID, SAI Zdroj.dok. Logic Journal of the IGPL. - : Oxford University Press - ISSN 1367-0751
Roč. 21, č. 1 (2013), s. 91-100Poč.str. 10 s. Jazyk dok. eng - angličtina Země vyd. GB - Velká Británie Klíč. slova Lukasiewicz logic ; Cantor set theory ; full comprehension Vědní obor RIV BA - Obecná matematika CEP 1M0545 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000313837700008 EID SCOPUS 84872760781 DOI 10.1093/jigpal/jzq019 Anotace Two equality predicates in Cantor-Lukasiewicz set theory (with full comprehension, over Lukasiewicz predicate logic) are investigated: extensional =e and Leibniz equality =. It is proved that there are many pairs of sets x,y such that x =e y & x =/= y is true. In particular, x may be the set omega of natural numbers, defined together with ternary predicates for addition and multiplication. The main result says that the Cantor-Lukasiewicz set theory is essentially undecidable and essentially incomplete. The proof is difficult since it is not supposed that the set omega is crisp (non-fuzzy). Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2013
Počet záznamů: 1