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![Partition regularity of some quadratic equations Joint work with N. Frantzikinakis Ergodic Theory with Connections to Arithmetic Heraklion, June 3, 2013 Partition regularity of some quadratic equations Joint work with N. Frantzikinakis Ergodic Theory with Connections to Arithmetic Heraklion, June 3, 2013](https://www.pdfsearch.io/img/67ad14d9fdf7d83d2bc76b884fab9a56.jpg) | Add to Reading ListSource URL: fourier.math.uoc.grLanguage: English - Date: 2013-06-01 03:08:06
|
---|
3![Partition regularity in the rationals Ben Barber (University of Birmingham) A system of linear equations is partition regular if, whenever N is finitely coloured, there is a monochromatic solution. We could similarly ask Partition regularity in the rationals Ben Barber (University of Birmingham) A system of linear equations is partition regular if, whenever N is finitely coloured, there is a monochromatic solution. We could similarly ask](https://www.pdfsearch.io/img/6582545e7d180c13c422b16eb0bdd79e.jpg) | Add to Reading ListSource URL: web.mat.bham.ac.uk- Date: 2014-02-07 10:06:33
|
---|
4![UNIFORMITY OF MULTIPLICATIVE FUNCTIONS AND PARTITION REGULARITY OF SOME QUADRATIC EQUATIONS arXiv:1303.4329v2 [math.CO] 6 MarNIKOS FRANTZIKINAKIS AND BERNARD HOST UNIFORMITY OF MULTIPLICATIVE FUNCTIONS AND PARTITION REGULARITY OF SOME QUADRATIC EQUATIONS arXiv:1303.4329v2 [math.CO] 6 MarNIKOS FRANTZIKINAKIS AND BERNARD HOST](https://www.pdfsearch.io/img/27ad625608552e8555a94dafd1663569.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2014-03-07 00:56:11
|
---|
5![CCCG 2014, Halifax, Nova Scotia, August 11–13, 2014 Drawing the Horton Set in an Integer Grid of Minimum Size Luis Barba ∗† CCCG 2014, Halifax, Nova Scotia, August 11–13, 2014 Drawing the Horton Set in an Integer Grid of Minimum Size Luis Barba ∗†](https://www.pdfsearch.io/img/6c9697f07ec96be9b4a44a063d3177a9.jpg) | Add to Reading ListSource URL: www.cccg.caLanguage: English - Date: 2014-06-18 20:04:28
|
---|
6![´ SZEMEREDI’S REGULARITY LEMMA FOR MATRICES AND SPARSE GRAPHS ALEXANDER SCOTT Abstract. Szemer´edi’s Regularity Lemma is an important tool ´ SZEMEREDI’S REGULARITY LEMMA FOR MATRICES AND SPARSE GRAPHS ALEXANDER SCOTT Abstract. Szemer´edi’s Regularity Lemma is an important tool](https://www.pdfsearch.io/img/4af08bda7ace4c3202a1ce284097a85b.jpg) | Add to Reading ListSource URL: people.maths.ox.ac.ukLanguage: English - Date: 2010-11-02 13:46:18
|
---|
7![Complexity of Nondeterministic Graph Parameter Testing Marek Karpinski∗ Roland Mark´o† Complexity of Nondeterministic Graph Parameter Testing Marek Karpinski∗ Roland Mark´o†](https://www.pdfsearch.io/img/58d3b7ccc40a021fe269da5e78b04401.jpg) | Add to Reading ListSource URL: theory.cs.uni-bonn.deLanguage: English - Date: 2014-08-14 05:01:42
|
---|
8![arXiv:1408.3590v1 [cs.DS] 15 AugComplexity of Nondeterministic Graph Parameter Testing Marek Karpinski∗ arXiv:1408.3590v1 [cs.DS] 15 AugComplexity of Nondeterministic Graph Parameter Testing Marek Karpinski∗](https://www.pdfsearch.io/img/24b0f9a72420c239db7f9adee4837e37.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2014-08-17 20:53:27
|
---|
9![arXiv:1307.5697v1 [cs.DS] 22 Jul[removed]Dimension Reduction via Colour Refinement Martin Grohe Kristian Kersting arXiv:1307.5697v1 [cs.DS] 22 Jul[removed]Dimension Reduction via Colour Refinement Martin Grohe Kristian Kersting](https://www.pdfsearch.io/img/7befaa3c684d683c9ff3cfc2e27ecc5f.jpg) | Add to Reading ListSource URL: www.first-mm.euLanguage: English - Date: 2013-07-24 09:14:38
|
---|
10![arXiv:1307.5697v1 [cs.DS] 22 Jul[removed]Dimension Reduction via Colour Refinement Martin Grohe Kristian Kersting arXiv:1307.5697v1 [cs.DS] 22 Jul[removed]Dimension Reduction via Colour Refinement Martin Grohe Kristian Kersting](https://www.pdfsearch.io/img/c0d32c1ed58921f2b1eb7688d25f1b79.jpg) | Add to Reading ListSource URL: first-mm.informatik.uni-freiburg.deLanguage: English - Date: 2013-07-24 09:14:38
|
---|