{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,20]],"date-time":"2024-01-20T15:10:28Z","timestamp":1705763428015},"reference-count":48,"publisher":"Oxford University Press (OUP)","issue":"1","license":[{"start":{"date-parts":[[2023,1,31]],"date-time":"2023-01-31T00:00:00Z","timestamp":1675123200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,1,22]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>We describe a syntactic method for taking proofs that use ultraproducts and translating them into direct, constructive proofs.<\/jats:p>","DOI":"10.1093\/logcom\/exac090","type":"journal-article","created":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T21:11:20Z","timestamp":1675285880000},"page":"125-160","source":"Crossref","is-referenced-by-count":0,"title":["What do ultraproducts remember about the original structures?"],"prefix":"10.1093","volume":"34","author":[{"given":"Henry","family":"Towsner","sequence":"first","affiliation":[{"name":"Department of Mathematics, University of Pennsylvania , 209 South 33rd Street, Philadelphia, PA 19104-6395, USA"}]}],"member":"286","published-online":{"date-parts":[[2023,1,31]]},"reference":[{"key":"2024012014555657600_ref1","article-title":"Pure and Applied Mathematics","volume-title":"Nonstandard Methods in Stochastic Analysis and Mathematical Physics","author":"Albeverio","year":"1986"},{"key":"2024012014555657600_ref2","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/s004930070001","article-title":"Efficient testing of large graphs","volume":"20","author":"Alon","year":"2000","journal-title":"Combinatorica"},{"key":"2024012014555657600_ref3","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1090\/S0002-9947-09-04814-4","article-title":"Local stability of ergodic averages","volume":"362","author":"Avigad","year":"2010","journal-title":"Transactions of the American Mathematical Society"},{"key":"2024012014555657600_ref4","first-page":"713","article-title":"Ultraproducts and metastability","volume":"19","author":"Avigad","year":"2013","journal-title":"The New York Journal of Mathematics"},{"key":"2024012014555657600_ref5","doi-asserted-by":"crossref","DOI":"10.1090\/conm\/530","article-title":"Contemporary Mathematics","volume-title":"Ultrafilters Across Mathematics","author":"Bergelson","year":"2010"},{"key":"2024012014555657600_ref6","doi-asserted-by":"crossref","first-page":"2023","DOI":"10.1215\/00127094-0000017X","article-title":"factors with nonisomorphic ultrapowers","volume":"166","author":"Boutonnet","year":"2017","journal-title":"Duke Mathematical Journal"},{"key":"2024012014555657600_ref7","article-title":"Cambridge Studies in Advanced Mathematics","volume-title":"Absolutely Summing Operators","author":"Diestel","year":"1995"},{"key":"2024012014555657600_ref8","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1002\/malq.201600066","article-title":"Interpreting weak K\u0151nig\u2019s lemma in theories of nonstandard arithmetic","volume":"63","author":"Dinis","year":"2017","journal-title":"Mathematical Logic Quarterly"},{"key":"2024012014555657600_ref9","doi-asserted-by":"crossref","DOI":"10.1201\/9781315368078-7","article-title":"Model theory and metric convergence i: metastability and dominated convergence","volume-title":"Beyond First Order Model Theory","author":"Due\u00f1ez","year":"2017"},{"key":"2024012014555657600_ref10","doi-asserted-by":"crossref","first-page":"1731","DOI":"10.1016\/j.aim.2012.06.022","article-title":"A measure-theoretic approach to the theory of dense hypergraphs","volume":"231","author":"Elek","year":"2012","journal-title":"Advances in Mathematics"},{"key":"2024012014555657600_ref11","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1016\/j.apal.2015.02.001","article-title":"Nonstandardness and the bounded functional interpretation","volume":"166","author":"Ferreira","year":"2015","journal-title":"Annals of Pure and Applied Logic"},{"key":"2024012014555657600_ref12","article-title":"Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]","volume-title":"Field Arithmetic","author":"Fried","year":"2008"},{"key":"2024012014555657600_ref13","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF02790008","article-title":"Topological dynamics and combinatorial number theory","volume":"34","author":"Furstenberg","year":"1979","journal-title":"Journal d\u2019Analyse Math\u00e9matique"},{"key":"2024012014555657600_ref14","doi-asserted-by":"crossref","first-page":"483","DOI":"10.4153\/CJM-1955-051-7","article-title":"Metamathematical considerations on the relative irreducibility of polynomials","volume":"7","author":"Gilmore","year":"1955","journal-title":"The Canadian Journal of Mathematics"},{"key":"2024012014555657600_ref15","article-title":"Graduate Texts in Mathematics","volume-title":"Lectures on the Hyperreals","author":"Goldblatt","year":"1998"},{"key":"2024012014555657600_ref16","first-page":"5609","article-title":"On the theories of McDuff\u2019s $\\textrm {II}_1$ factors","volume":"18","author":"Goldbring","year":"2017","journal-title":"International Mathematics Research Notices"},{"key":"2024012014555657600_ref17","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/s11856-018-1735-8","article-title":"Explicit sentences distinguishing Mcduff\u2019s $\\textrm {II}_1$ factors","volume":"227","author":"Goldbring","year":"2018","journal-title":"Israel Journal of Mathematics"},{"key":"2024012014555657600_ref18","doi-asserted-by":"crossref","first-page":"867","DOI":"10.1007\/s11856-013-0054-3","article-title":"An approximate logic for measures","volume":"199","author":"Goldbring","year":"2014","journal-title":"Israel Journal of Mathematics"},{"key":"2024012014555657600_ref19","doi-asserted-by":"crossref","first-page":"897","DOI":"10.4007\/annals.2007.166.897","article-title":"Hypergraph regularity and the multidimensional Szemer\u00e9di theorem","volume":"166","author":"Gowers","year":"2007","journal-title":"Annals of Mathematics (2)"},{"key":"2024012014555657600_ref20","doi-asserted-by":"crossref","first-page":"1231","DOI":"10.4007\/annals.2012.176.2.11","article-title":"An inverse theorem for the Gowers ${U}^{s+1}\\left [N\\right ]$-norm","volume":"176","author":"Green","year":"2012","journal-title":"Annals of Mathematics (2)"},{"key":"2024012014555657600_ref21","volume-title":"Model Theory of Fields With Multiplicative Groups","author":"Gunaydin","year":"2008"},{"key":"2024012014555657600_ref22","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/j.jalgebra.2012.03.013","article-title":"Nonstandard methods for bounds in differential polynomial rings","volume":"360","author":"Harrison-Trainor","year":"2012","journal-title":"Journal of Algebra"},{"key":"2024012014555657600_ref23","first-page":"72","article-title":"Ultraproducts in Banach space theory","volume":"313","author":"Heinrich","year":"1980","journal-title":"Journal f\u00fcr die Reine und Angewandte Mathematik"},{"key":"2024012014555657600_ref24","volume-title":"Relations on Probability Spaces and Arrays of Random Variables","author":"Hoover","year":"1979"},{"key":"2024012014555657600_ref25","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1090\/S0894-0347-2011-00708-X","article-title":"Stable group theory and approximate subgroups","volume":"25","author":"Hrushovski","year":"2012","journal-title":"Journal of the American Mathematical Society"},{"key":"2024012014555657600_ref26","first-page":"158","article-title":"Finite approximations of infinitely long formulas","volume-title":"Theory of Models (Proc. 1963 Internat. Sympos. Berkeley)","author":"Jerome Keisler","year":"1965"},{"key":"2024012014555657600_ref27","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1090\/conm\/530\/10444","article-title":"The ultraproduct construction","volume-title":"Ultrafilters Across Mathematics","author":"Jerome Keisler","year":"2010"},{"key":"2024012014555657600_ref28","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1093\/oso\/9780198538622.003.0010","article-title":"Analysing proofs in analysis","volume-title":"Logic: From Foundations to Applications (Staffordshire, 1993)","author":"Kohlenbach","year":"1996"},{"key":"2024012014555657600_ref29","doi-asserted-by":"crossref","first-page":"823","DOI":"10.1016\/j.na.2005.01.075","article-title":"Some computational aspects of metric fixed-point theory","volume":"61","author":"Kohlenbach","year":"2005","journal-title":"Nonlinear Analysis"},{"key":"2024012014555657600_ref30","doi-asserted-by":"crossref","first-page":"1089","DOI":"10.1016\/j.jmaa.2014.10.035","article-title":"Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators","volume":"423","author":"Kohlenbach","year":"2015","journal-title":"Journal of Mathematical Analysis and Applications"},{"key":"2024012014555657600_ref31","first-page":"143","article-title":"Bounds on iterations of asymptotically quasi-nonexpansive mappings","volume-title":"International Conference on Fixed Point Theory and Applications","author":"Kohlenbach","year":"2004"},{"key":"2024012014555657600_ref32","article-title":"American Mathematical Society Colloquium Publications","volume-title":"Large Networks and Graph Limits","author":"Lov\u00e1sz","year":"2012"},{"key":"2024012014555657600_ref33","article-title":"Lecture Notes in Mathematics","volume-title":"Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory","author":"D. Nasso","year":"2019"},{"key":"2024012014555657600_ref34","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0168-0072(88)90050-4","article-title":"The syntax of nonstandard analysis","volume":"38","author":"Nelson","year":"1988","journal-title":"Annals of Pure and Applied Logic"},{"key":"2024012014555657600_ref35","article-title":"London Mathematical Society Lecture Note Series","volume-title":"Introduction to Operator Space Theory","author":"Pisier","year":"2003"},{"key":"2024012014555657600_ref36","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1002\/rsa.20017","article-title":"Regularity lemma for $k$-uniform hypergraphs","volume":"25","author":"R\u00f6dl","year":"2004","journal-title":"Random Structures Algorithms"},{"key":"2024012014555657600_ref37","first-page":"24","article-title":"The computational content of nonstandard analysis","volume-title":"Proceedings Sixth International Workshop on Classical Logic and Computation","author":"Sanders","year":"2016"},{"key":"2024012014555657600_ref38","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/978-3-319-72056-2_19","article-title":"Metastability and higher-order computability","volume-title":"Logical Foundations of Computer Science","author":"Sanders","year":"2018"},{"key":"2024012014555657600_ref39","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-13368-8","article-title":"Lecture Notes in Mathematics","volume-title":"The Use of Ultraproducts in Commutative Algebra","author":"Schoutens","year":"2010"},{"key":"2024012014555657600_ref40","doi-asserted-by":"crossref","first-page":"567","DOI":"10.1016\/j.aim.2018.11.026","article-title":"Proof mining and effective bounds in differential polynomial rings","volume":"343","author":"Simmons","year":"2019","journal-title":"Adv. Math."},{"key":"2024012014555657600_ref41","doi-asserted-by":"crossref","first-page":"199","DOI":"10.4064\/aa-27-1-199-245","article-title":"On sets of integers containing no $k$ elements in arithmetic progression","volume":"27","author":"Szemer\u00e9di","year":"1975","journal-title":"Acta Arithmetica"},{"key":"2024012014555657600_ref42","first-page":"8","article-title":"Szemer\u00e9di\u2019s regularity lemma revisited","volume":"1","author":"Tao","year":"2006","journal-title":"Contributions to Discrete Mathematics"},{"key":"2024012014555657600_ref43","doi-asserted-by":"crossref","first-page":"657","DOI":"10.1017\/S0143385708000011","article-title":"Norm convergence of multiple ergodic averages for commuting transformations","volume":"28","author":"Tao","year":"2008","journal-title":"Ergodic Theory and Dynamical Systems"},{"key":"2024012014555657600_ref44","volume-title":"An Inverse Ackermannian Lower Bound on the Local Unconditionality Constant of the James Space","author":"Towsner","year":"2015"},{"key":"2024012014555657600_ref45","first-page":"171","article-title":"Towards an effective theory of absolutely continuous measures","volume-title":"Studies in Weak Arithmetics","author":"Towsner","year":"2016"},{"key":"2024012014555657600_ref46","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1002\/rsa.20641","article-title":"algebras for quasirandom hypergraphs","volume":"50","author":"Towsner","year":"2017","journal-title":"Random Structures Algorithms"},{"key":"2024012014555657600_ref47","doi-asserted-by":"crossref","first-page":"1962","DOI":"10.1016\/j.apal.2012.07.003","article-title":"A functional interpretation for nonstandard arithmetic","volume":"163","author":"van den Berg","year":"2012","journal-title":"Annals of Pure and Applied Logic"},{"key":"2024012014555657600_ref48","doi-asserted-by":"crossref","first-page":"699","DOI":"10.1007\/s00153-017-0567-2","article-title":"The strength of countable saturation","volume":"56","author":"van den Berg","year":"2017","journal-title":"Archive for Mathematical Logic"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/34\/1\/125\/56260283\/exac090.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/34\/1\/125\/56260283\/exac090.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,20]],"date-time":"2024-01-20T14:56:20Z","timestamp":1705762580000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/34\/1\/125\/7010751"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,31]]},"references-count":48,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2023,1,31]]},"published-print":{"date-parts":[[2024,1,22]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exac090","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2024,1]]},"published":{"date-parts":[[2023,1,31]]}}}