Počet záznamů: 1

Kreisel's conjecture with minimality principle

  1. 1.
    0337050 - MU-W 2010 RIV US eng J - Článek v odborném periodiku
    Hrubeš, Pavel
    Kreisel's conjecture with minimality principle.
    [Kreiselova domněnkas principem minimality.]
    Journal of Symbolic Logic. Roč. 74, č. 3 (2009), s. 976-988 ISSN 0022-4812
    Výzkumný záměr: CEZ:AV0Z10190503
    Klíčová slova: Peano arithmetic * length of proof * Kreisel's conjecture
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.631, rok: 2009

    We prove that Kreisel's conjecture is true, if Peano Arithmetic is axiomatized using minimality principle and axioms of identity.

    Dokážeme, že Kreiselova domněnka platí, pokud se Peanova Aritmetika axiomatizuje pomocí principu minimality a aximomy identity.
    Trvalý link: http://hdl.handle.net/11104/0181139
    Název souboruStaženoVelikostKomentářVerzePřístup
    Hrubes.pdf1142.9 KBVydavatelský postprintvyžádat