Počet záznamů: 1  

Kreisel's conjecture with minimality principle

  1. 1.
    0337050 - MÚ 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. E-ISSN 1943-5886
    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
     
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.