Kreisel's conjecture with minimality principle

Number of the records: 1

1.

SYSNO ASEP	0337050
Document Type	J - Journal Article
R&D Document Type	Journal Article
Subsidiary J	Článek ve WOS
Title	Kreisel's conjecture with minimality principle
Title	Kreiselova domněnkas principem minimality
Author(s)	Hrubeš, Pavel (MU-W)_{RID, SAI, ORCID}
Source Title	Journal of Symbolic Logic. - : Cambridge University Press - ISSN 0022-4812 Roč. 74, č. 3 (2009), s. 976-988
Number of pages	13 s.
Language	eng - English
Country	US - United States
Keywords	Peano arithmetic ; length of proof ; Kreisel's conjecture
Subject RIV	BA - General Mathematics
CEZ	AV0Z10190503 - MU-W (2005-2011)
UT WOS	000269571100013
Annotation	We prove that Kreisel's conjecture is true, if Peano Arithmetic is axiomatized using minimality principle and axioms of identity.
Workplace	Mathematical Institute
Contact	Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757
Year of Publishing	2010

Number of the records: 1