Počet záznamů: 1
Kreisel's conjecture with minimality principle
- 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 souboru Staženo Velikost Komentář Verze Přístup Hrubes.pdf 1 142.9 KB Vydavatelský postprint vyžádat
Počet záznamů: 1