کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
421450 | 684471 | 2007 | 8 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
The proof theoretic strength of the Steinitz exchange theorem
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
We show that the logical theory QLAQLA proves the Cayley–Hamilton theorem from the Steinitz exchange theorem together with a strengthening of the linear independence principle. Since QLAQLA is a fairly weak theory (in the sense that its quantifier-free fragment, LALA, translates into tautologies with TC0TC0-Frege proofs—when restricted to the field QQ of the rationals), it follows that the proof complexity of matrix algebra can be distilled to the Steinitz exchange theorem.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Discrete Applied Mathematics - Volume 155, Issue 1, 1 January 2007, Pages 53–60
Journal: Discrete Applied Mathematics - Volume 155, Issue 1, 1 January 2007, Pages 53–60
نویسندگان
Michael Soltys,