1![BROWN’S LEMMA IN SECOND-ORDER ARITHMETIC EMANUELE FRITTAION Abstract. We show that Brown’s lemma is equivalent to IΣ02 over RCA∗0 . We also show that (the infinite) van der Waerden’s theorem is equivalent to BΣ BROWN’S LEMMA IN SECOND-ORDER ARITHMETIC EMANUELE FRITTAION Abstract. We show that Brown’s lemma is equivalent to IΣ02 over RCA∗0 . We also show that (the infinite) van der Waerden’s theorem is equivalent to BΣ](https://www.pdfsearch.io/img/8769e44c4b97490ea9bbbf887a092747.jpg) | Add to Reading ListSource URL: www.math.tohoku.ac.jpLanguage: English - Date: 2016-02-20 21:08:30
|
---|
2![Continuum Mech. Thermodyn:87–123 DOIs00161O R I G I NA L A RT I C L E Yury Grabovsky · Vladislav A. Kucher · Lev Truskinovsky Continuum Mech. Thermodyn:87–123 DOIs00161O R I G I NA L A RT I C L E Yury Grabovsky · Vladislav A. Kucher · Lev Truskinovsky](https://www.pdfsearch.io/img/4f1b82b0893e76bccc4e1042013145c1.jpg) | Add to Reading ListSource URL: hera.polytechnique.frLanguage: English - Date: 2011-05-26 06:14:41
|
---|
3![This sentence does not contain the symbol X Samuel A. Alexander∗ Department of Mathematics, the Ohio State University To appear in The Reasoner. In order to formalize the Liar’s Paradox, one approach is as follows. W This sentence does not contain the symbol X Samuel A. Alexander∗ Department of Mathematics, the Ohio State University To appear in The Reasoner. In order to formalize the Liar’s Paradox, one approach is as follows. W](https://www.pdfsearch.io/img/150b85c8d68e6fc8b1a312d27a978c24.jpg) | Add to Reading ListSource URL: www.semitrivial.comLanguage: English - Date: 2013-06-28 11:56:13
|
---|
4![Reprints in Theory and Applications of Categories, No. 15, 2006, pp. 1–13. DIAGONAL ARGUMENTS AND CARTESIAN CLOSED CATEGORIES F. WILLIAM LAWVERE Reprints in Theory and Applications of Categories, No. 15, 2006, pp. 1–13. DIAGONAL ARGUMENTS AND CARTESIAN CLOSED CATEGORIES F. WILLIAM LAWVERE](https://www.pdfsearch.io/img/2ad37b1a4a02d8abec31b713e84df6e8.jpg) | Add to Reading ListSource URL: emis.library.cornell.eduLanguage: English - Date: 2006-02-24 14:27:12
|
---|
5![Painless Unsupervised Learning with Features Taylor Berg-Kirkpatrick Alexandre Bouchard-Cˆot´e John DeNero Dan Klein Computer Science Division University of California at Berkeley Berkeley, CA 94720 Painless Unsupervised Learning with Features Taylor Berg-Kirkpatrick Alexandre Bouchard-Cˆot´e John DeNero Dan Klein Computer Science Division University of California at Berkeley Berkeley, CA 94720](https://www.pdfsearch.io/img/c15fd1e89a4711054c9dd182184fb689.jpg) | Add to Reading ListSource URL: www.stat.ubc.caLanguage: English - Date: 2011-11-06 12:06:29
|
---|
6![Probability in the Engineering and Informational Sciences, 25, 2011, 171–185. doi:[removed]S0269964810000331 Probability in the Engineering and Informational Sciences, 25, 2011, 171–185. doi:[removed]S0269964810000331](https://www.pdfsearch.io/img/4435387029d172d81eaaec21e311ea78.jpg) | Add to Reading ListSource URL: www.math.wsu.eduLanguage: English - Date: 2011-04-01 00:21:28
|
---|
7![SIGN–PATTERNS WHICH REQUIRE A POSITIVE EIGENVALUE (Linear and Multilinear Algebra, 41(3) : [removed], [removed]This version contains the proof of Lemma 5.1) S. J. Kirkland SIGN–PATTERNS WHICH REQUIRE A POSITIVE EIGENVALUE (Linear and Multilinear Algebra, 41(3) : [removed], [removed]This version contains the proof of Lemma 5.1) S. J. Kirkland](https://www.pdfsearch.io/img/2b9aa5d492c4a8e3f12d971debdf4f69.jpg) | Add to Reading ListSource URL: www.math.wsu.eduLanguage: English - Date: 2001-08-08 12:00:59
|
---|
8![Reprints in Theory and Applications of Categories, No. 15, 2006, pp. 1–13. DIAGONAL ARGUMENTS Reprints in Theory and Applications of Categories, No. 15, 2006, pp. 1–13. DIAGONAL ARGUMENTS](https://www.pdfsearch.io/img/b5dc9b67bd78653dfcb5099acf90ae64.jpg) | Add to Reading ListSource URL: www.tac.mta.caLanguage: English - Date: 2006-02-24 14:27:12
|
---|