<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2008-10-22 16:03:51Ergodic theory Discrete mathematics Algebraic structures Combinatorics Piecewise syndetic set IP set Partition regularity Syndetic set Semigroup Mathematics Semigroup theory Ramsey theory |
| 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ΣDocID: 1ofdc - View Document |
| Some Notions of Size in Partial Semigroups Jillian McLeod1 Abstract. In a semigroup, the combinatorial definitions of syndetic, piecewise syndetic, and IP are equivalent to their algebraic characterizations in terms of βS. WeDocID: 3mMJ - View Document |
| PDF DocumentDocID: 1hyb - View Document |
| PDF DocumentDocID: Dwt - View Document |