Počet záznamů: 1
Kreisel's conjecture with minimality principle
- 1.
SYSNO ASEP 0337050 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 Kreisel's conjecture with minimality principle Překlad názvu Kreiselova domněnkas principem minimality Tvůrce(i) Hrubeš, Pavel (MU-W) RID, SAI, ORCID Zdroj.dok. Journal of Symbolic Logic. - : Cambridge University Press - ISSN 0022-4812
Roč. 74, č. 3 (2009), s. 976-988Poč.str. 13 s. Jazyk dok. eng - angličtina Země vyd. US - Spojené státy americké Klíč. slova Peano arithmetic ; length of proof ; Kreisel's conjecture Vědní obor RIV BA - Obecná matematika CEZ AV0Z10190503 - MU-W (2005-2011) UT WOS 000269571100013 Anotace We prove that Kreisel's conjecture is true, if Peano Arithmetic is axiomatized using minimality principle and axioms of identity. Pracoviště Matematický ústav Kontakt Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Rok sběru 2010
Počet záznamů: 1