@article{goldbring:_approx_logic_measur,
year={2014},
issn={0021-2172},
journal={Israel J. Math.},
fjournal={Israel Journal of Mathematics},
volume={199},
number={2},
doi={10.1007/s11856-013-0054-3},
title={An approximate logic for measures},
urljournal={http://dx.doi.org/10.1007/s11856-013-0054-3},
publisher={The Hebrew University Magnes Press},
author={Goldbring, Isaac and Towsner, Henry},
pages={867-913},
language={English},
urlarxiv={http://arxiv.org/abs/1106.2854},
abstract={We present a logical framework for formalizing connections between finitary combinatorics and measure theory or ergodic theory that have appeared various places throughout the literature. We develop the basic syntax and semantics of this logic and give applications, showing that the method can express the classic Furstenberg correspondence and to give a short proof of the Szemerédi Regularity Lemma. We also derive some connections between the model-theoretic notion of stability and the Gowers uniformity norms from combinatorics.},
}

{"_id":{"_str":"53cd4685299afbd63100070f"},"__v":0,"authorIDs":["3GEPwq9joMrcxxoCw","4KQet7uefuvLzwtpx","545832462abc8e9f37000b09","5c8vhjzWNNjGW4qbh","5decfea43d02efdf010000be","5def8c8545114dde01000167","5df216ace4cb4ede0100016b","5e04f7d6fff612df01000139","5e07fc92cdee3adf0100003b","5e0b8c33ca6111df010000a2","5e0fd5b12cfae9df010000b2","5e10e8e545c12cde01000086","5e15529bedfb1ede01000156","5e1ae0065f3d2cdf01000075","5e25e33da6f19fde010000f0","5e2ecddbc2015cde01000106","5e2f2e7378a7cedf01000043","5e2f7d669ca24fdf010001e9","5e31874200e4e5de010000f3","5e349b4753b794de01000107","5e3871a21f8af9e0010000f6","5e3d9a82f33211df01000085","5e3daa13f33211df01000192","5e405ccaaeea22df0100009b","5e442d87e5a34dde010000ac","5e4a4b925675c1de01000107","5e51554afe5af9df01000104","5e52ae476a3abede0100003e","5e599979ad6c7fde0100004a","5e5c8dfa9933dade01000017","5e5d5d37ad47bcde010000c0","5e5e8a77c0a53dde01000054","5e5e9e03c0a53dde0100025f","5e64727de1ac00de010000d6","8eyEAbrHsTiQjrh7m","9xwKHbohnMHpGd326","AKhMye69vFo9ZBkJn","B8ktHCTYohgyN3zHd","BeL58hABvbynGFvkM","E6dySSeKcY8eAMMJB","EHJuZpHSt5bw4erqn","EjhY4z5ziCGtFZAAp","Fr8xk6h7QLy2uc6qT","HGCndpBQapLkeXcCv","JXPiBhJhKZpboe3cv","KYQ2gtq5nH4r2yEXs","M5pdPBbKqC9YYHd6n","PKNH7m7rTTAWiLt3x","Pz5HyZqksZg56dyuD","QJDeWCekzoGrAH7hG","QWy8CzoFcY4jkh9XS","RWoRfxCmeqb6fsA7N","RiWhh5sCAejRxYRtr","TdZKmjjXfpX5riMhc","W8K2TwaE7YMfqQquc","W9X6jnrT5WndXxz4f","WJ4bEb9E3XqnkvyCX","XMaQnCeR8pCaxKwS6","ZB6i2RZxTFGTnNJcr","ZfXCGDcjZMeE4QSqP","b9AcCuxsqzpiCMFsG","cNR3H4e3QEnD3WkbJ","cnQY9tt7BQH92KkyP","fDCSEz7FfSCxERX9L","fkakjW7HDbgrSiTnc","g2bZv9uHbxMAPTro2","mgLyDAsFS9g7HNyuT","n6SFWyWp7WHG5YnrG","nDtKTAspawBCun8X8","nJTiiRRLbohMDGYgA","nvTYkDHXvRYJbiLqm","o6p92SSgdiePc5yu8","oNpdLEjNerjoioXTr","qTYgvoePYaSXGnmPe","t9d9TPHkaTGkNr5RP","tYHK4CxbC8KJ8CgMF","vymEvveSkq34uS28E","wm9ugGRCbkcFjNxF5","xJZc77uii7zQDbato","xvWPite86SqosFSo5"],"author_short":["Goldbring, I.","Towsner, H."],"bibbaseid":"goldbring-towsner-anapproximatelogicformeasures-2014","bibdata":{"bibtype":"article","type":"article","year":"2014","issn":"0021-2172","journal":"Israel J. Math.","fjournal":"Israel Journal of Mathematics","volume":"199","number":"2","doi":"10.1007/s11856-013-0054-3","title":"An approximate logic for measures","urljournal":"http://dx.doi.org/10.1007/s11856-013-0054-3","publisher":"The Hebrew University Magnes Press","author":[{"propositions":[],"lastnames":["Goldbring"],"firstnames":["Isaac"],"suffixes":[]},{"propositions":[],"lastnames":["Towsner"],"firstnames":["Henry"],"suffixes":[]}],"pages":"867-913","language":"English","urlarxiv":"http://arxiv.org/abs/1106.2854","abstract":"We present a logical framework for formalizing connections between finitary combinatorics and measure theory or ergodic theory that have appeared various places throughout the literature. We develop the basic syntax and semantics of this logic and give applications, showing that the method can express the classic Furstenberg correspondence and to give a short proof of the Szemerédi Regularity Lemma. We also derive some connections between the model-theoretic notion of stability and the Gowers uniformity norms from combinatorics.","bibtex":"@article{goldbring:_approx_logic_measur,\nyear={2014},\nissn={0021-2172},\njournal={Israel J. Math.},\nfjournal={Israel Journal of Mathematics},\nvolume={199},\nnumber={2},\ndoi={10.1007/s11856-013-0054-3},\ntitle={An approximate logic for measures},\nurljournal={http://dx.doi.org/10.1007/s11856-013-0054-3},\npublisher={The Hebrew University Magnes Press},\nauthor={Goldbring, Isaac and Towsner, Henry},\npages={867-913},\nlanguage={English},\nurlarxiv={http://arxiv.org/abs/1106.2854},\nabstract={We present a logical framework for formalizing connections between finitary combinatorics and measure theory or ergodic theory that have appeared various places throughout the literature. We develop the basic syntax and semantics of this logic and give applications, showing that the method can express the classic Furstenberg correspondence and to give a short proof of the Szemerédi Regularity Lemma. We also derive some connections between the model-theoretic notion of stability and the Gowers uniformity norms from combinatorics.},\n}\n\n\n","author_short":["Goldbring, I.","Towsner, H."],"key":"goldbring:_approx_logic_measur","id":"goldbring:_approx_logic_measur","bibbaseid":"goldbring-towsner-anapproximatelogicformeasures-2014","role":"author","urls":{"Journal":"http://dx.doi.org/10.1007/s11856-013-0054-3","Arxiv":"http://arxiv.org/abs/1106.2854"},"metadata":{"authorlinks":{"towsner, h":"https://www.sas.upenn.edu/~htowsner/index.html"}}},"bibtype":"article","biburl":"www.sas.upenn.edu/~htowsner/papers.bib","creationDate":"2014-07-21T16:57:41.069Z","downloads":69,"keywords":[],"search_terms":["approximate","logic","measures","goldbring","towsner"],"title":"An approximate logic for measures","year":2014,"dataSources":["6NR8bS3FWz4thtH6K","HbyKaYarx2Kg7vovB"]}