Kreisel's conjecture with minimality principle

0337050 - MÚ 2010 RIV US eng J - Journal Article
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
Institutional research plan: CEZ:AV0Z10190503
Keywords : Peano arithmetic * length of proof * Kreisel's conjecture
Subject RIV: BA - General Mathematics
Impact factor: 0.631, year: 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.
Permanent Link: http://hdl.handle.net/11104/0181139