{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,23]],"date-time":"2024-08-23T15:46:54Z","timestamp":1724428014186},"reference-count":8,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2012,1,1]]},"DOI":"10.1215\/00294527-1626518","type":"journal-article","created":{"date-parts":[[2012,5,9]],"date-time":"2012-05-09T17:57:44Z","timestamp":1336586264000},"source":"Crossref","is-referenced-by-count":4,"title":["A Simple Proof and Some Difficult Examples for Hindman's Theorem"],"prefix":"10.1215","volume":"53","author":[{"given":"Henry","family":"Towsner","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"Baumgartner, J. E., \"A short proof of Hindman's theorem\", <i>Journal of Combinatorial Theory. Series A<\/i>, vol. 17 (1974), pp. 384\u201386.","DOI":"10.1016\/0097-3165(74)90103-4"},{"key":"2","doi-asserted-by":"publisher","unstructured":"Blass, A. R., J. L. Hirst, and S. G. Simpson, \"Logical analysis of some theorems of combinatorics and topological dynamics\", pp. 125\u201356 in <i>Logic and Combinatorics (Arcata, CA<\/i>, 1985), vol. 65 of <i>Contemporary Mathematics<\/i>, American Mathematical Society, Providence, 1987.","DOI":"10.1090\/conm\/065\/891245"},{"key":"3","doi-asserted-by":"publisher","unstructured":"Comfort, W. W., \"Ultrafilters: Some old and some new results\", <i>Bulletin of the American Mathematical Society<\/i>, vol. 83 (1977), pp. 417\u201355.","DOI":"10.1090\/S0002-9904-1977-14316-4"},{"key":"4","doi-asserted-by":"publisher","unstructured":"Hindman, N., \"Finite sums from sequences within cells of a partition of $N$\", <i>Journal of Combinatorial Theory. Series A<\/i>, vol. 17 (1974), pp. 1\u201311.","DOI":"10.1016\/0097-3165(74)90023-5"},{"key":"5","unstructured":"Hindman, N., \"Algebra in the Stone-\u010cech compactification and its applications to Ramsey theory\", <i>Scientiae Mathematicae Japonicae<\/i>, vol. 62 (2005), pp. 321\u201329."},{"key":"6","doi-asserted-by":"crossref","unstructured":"Hindman, N., and D. Strauss, <i>Algebra in the Stone-\u010cech Compactification. Theory and Applications<\/i>, vol. 27 of <i>de Gruyter Expositions in Mathematics<\/i>, Walter de Gruyter &amp; Co., Berlin, 1998.","DOI":"10.1515\/9783110809220"},{"key":"7","doi-asserted-by":"crossref","unstructured":"Simpson, S. G., <i>Subsystems of Second Order Arithmetic<\/i>, Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1999.","DOI":"10.1007\/978-3-642-59971-2"},{"key":"8","doi-asserted-by":"publisher","unstructured":"Towsner, H., \"Hindman's Theorem: An ultrafilter argument in second order arithmetic\", <i>The Journal of Symbolic Logic<\/i>, vol. 76 (2011), pp. 353\u201360.","DOI":"10.2178\/jsl\/1294171005"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-1626518","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:47Z","timestamp":1706648267000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-53\/issue-1\/A-Simple-Proof-and-Some-Difficult-Examples-for-Hindmans-Theorem\/10.1215\/00294527-1626518.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,1]]},"references-count":8,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2012,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-1626518","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2012,1,1]]}}}