Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

The maximal linear extension theorem in second order arithmetic

The maximal linear extension theorem in second order arithmetic We show that the maximal linear extension theorem for well partial orders is equivalent over RCA 0 to ATR 0. Analogously, the maximal chain theorem for well partial orders is equivalent to ATR 0 over RCA 0. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Archive for Mathematical Logic Springer Journals

The maximal linear extension theorem in second order arithmetic

Loading next page...
 
/lp/springer-journals/the-maximal-linear-extension-theorem-in-second-order-arithmetic-OK7fFsdBKN

References (47)

Publisher
Springer Journals
Copyright
Copyright © 2011 by Springer-Verlag
Subject
Mathematics; Mathematics, general; Algebra; Mathematical Logic and Foundations
ISSN
0933-5846
eISSN
1432-0665
DOI
10.1007/s00153-011-0231-1
Publisher site
See Article on Publisher Site

Abstract

We show that the maximal linear extension theorem for well partial orders is equivalent over RCA 0 to ATR 0. Analogously, the maximal chain theorem for well partial orders is equivalent to ATR 0 over RCA 0.

Journal

Archive for Mathematical LogicSpringer Journals

Published: Mar 20, 2011

There are no references for this article.