Number of the records: 1
Kreisel's conjecture with minimality principle
- 1.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
File Download Size Commentary Version Access Hrubes.pdf 1 142.9 KB Publisher’s postprint require
Number of the records: 1