{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T03:18:02Z","timestamp":1773717482575,"version":"3.50.1"},"reference-count":29,"publisher":"Oxford University Press (OUP)","issue":"7","license":[{"start":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T00:00:00Z","timestamp":1649116800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,7,13]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Common meadows are arithmetic structures with inverse or division, made total on $0$ by a flag $\\bot $ for ease of calculation. We examine some axiomatizations of common meadows to clarify their relationship with commutative rings and serve different theoretical agendas. A common meadow fracterm calculus is a special form of the equational axiomatization of common meadows, originally based on the use of division on the rational numbers. We study axioms that allow the basic process of simplifying complex expressions involving division. A useful axiomatic extension of the common meadow fracterm calculus imposes the requirement that the characteristic of common meadows be zero (using a simple infinite scheme of closed equations). It is known that these axioms are complete for the full equational theory of common cancellation meadows of characteristic $0$. Here, we show that these axioms do not prove all conditional equations which hold in all common cancellation meadows of characteristic $0$.<\/jats:p>","DOI":"10.1093\/comjnl\/bxac026","type":"journal-article","created":{"date-parts":[[2022,2,23]],"date-time":"2022-02-23T12:12:50Z","timestamp":1645618370000},"page":"1565-1572","source":"Crossref","is-referenced-by-count":14,"title":["On The Axioms Of Common Meadows: Fracterm Calculus, Flattening And Incompleteness"],"prefix":"10.1093","volume":"66","author":[{"given":"Jan A","family":"Bergstra","sequence":"first","affiliation":[{"name":"Informatics Institute , University of Amsterdam, Science Park 904, 1098 XH, Amsterdam, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John V","family":"Tucker","sequence":"additional","affiliation":[{"name":"Department of Computer Science , Swansea University, Bay Campus, Fabian Way, Swansea, SA1 8EN, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2022,4,5]]},"reference":[{"issue":"2","key":"2023071709111354200_ref1","doi-asserted-by":"crossref","first-page":"Article 7","DOI":"10.1145\/1219092.1219095","article-title":"The rational numbers as an abstract data type","volume":"54","author":"Bergstra","year":"2007","journal-title":"Journal of the ACM"},{"key":"2023071709111354200_ref2","doi-asserted-by":"crossref","DOI":"10.36285\/tm.v0i0.17","article-title":"Division by zero, a survey of options","author":"Bergstra","year":"2019","journal-title":"Transmathematica"},{"key":"2023071709111354200_ref3","article-title":"Division by zero in logic and computing","author":"Bergstra","year":"2021","journal-title":"HAL Archives Ouvertes"},{"key":"2023071709111354200_ref4","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1007\/978-3-319-15545-6_6","volume-title":"Software, Services, and Systems (Wirsing Festschrift)","author":"Bergstra","year":"2015"},{"key":"2023071709111354200_ref5","article-title":"Division by zero in common meadows","author":"Bergstra","year":"2019"},{"key":"2023071709111354200_ref6","article-title":"Division by zero in common meadows","author":"Bergstra","year":"2021"},{"key":"2023071709111354200_ref7","doi-asserted-by":"crossref","DOI":"10.36285\/tm.33","article-title":"Arithmetical datatypes, fracterms, and the fraction definition problem","author":"Bergstra","year":"2020","journal-title":"Transmathematica"},{"key":"2023071709111354200_ref8","doi-asserted-by":"crossref","DOI":"10.36285\/tm.57","article-title":"Totalising partial algebras: Teams and splinters","volume-title":"Transmathematica","author":"Bergstra","year":"2022"},{"issue":"3","key":"2023071709111354200_ref9","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/j.jal.2011.03.001","article-title":"Inversive meadows and divisive meadows","volume":"9","author":"Bergstra","year":"2011","journal-title":"Journal of Applied Logic"},{"key":"2023071709111354200_ref10","doi-asserted-by":"crossref","first-page":"727","DOI":"10.1016\/j.indag.2016.01.007","article-title":"Fracpairs and fractions over a reduced commutative ring","volume":"27","author":"Bergstra","year":"2016","journal-title":"Indigationes Mathematicae"},{"key":"2023071709111354200_ref11","volume-title":"The GUI: Prover9 and Mace4 with a Graphical User Interface","author":"McCune","year":"2008"},{"key":"2023071709111354200_ref12","volume-title":"Introduction to Logic","author":"Suppes","year":"1957"},{"key":"2023071709111354200_ref13","doi-asserted-by":"crossref","DOI":"10.36285\/tm.53","article-title":"Review of Suppes 1957 proposals for division by zero","author":"Anderson","year":"2021","journal-title":"Transmathematica"},{"key":"2023071709111354200_ref14","first-page":"9","volume-title":"Reports of Faculty of Science","author":"Komori","year":"1975"},{"issue":"2","key":"2023071709111354200_ref15","doi-asserted-by":"crossref","first-page":"289","DOI":"10.2969\/jmsj\/03520289","article-title":"Equational theories and universal theories of fields","volume":"35","author":"Ono","year":"1983","journal-title":"Journal of the Mathematical Society of Japan"},{"issue":"2","key":"2023071709111354200_ref16","first-page":"44","article-title":"Applications of the division by zero calculus to Wasan geometry","volume":"7","author":"Okumura","year":"2018","journal-title":"Global Journal of Advanced Research on Classical and Modern Geometries"},{"key":"2023071709111354200_ref17","article-title":"Partial arithmetical data types of rational numbers and their equational specification","author":"Bergstra","year":"2021","journal-title":"Submittted"},{"issue":"1","key":"2023071709111354200_ref18","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1093\/comjnl\/bxs028","article-title":"Cancellation meadows: a generic basis theorem and some applications","volume":"56","author":"Bergstra","year":"2013","journal-title":"The Computer Journal"},{"key":"2023071709111354200_ref19","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1016\/j.jal.2016.03.001","article-title":"Transformation of fractions into simple fractions in divisive meadows","volume":"16","author":"Bergstra","year":"2015","journal-title":"Journal of Applied Logic"},{"issue":"3","key":"2023071709111354200_ref20","doi-asserted-by":"crossref","first-page":"888","DOI":"10.2178\/jsl\/1278682205","article-title":"The initial meadows","volume":"75","author":"Bethke","year":"2010","journal-title":"Journal of Symbolic Logic"},{"issue":"2","key":"2023071709111354200_ref21","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1016\/j.jlamp.2014.08.004","article-title":"The structure of finite meadows","volume":"84","author":"Bethke","year":"2015","journal-title":"Journal of Logical and Algebraic Methods in Programming"},{"issue":"2","key":"2023071709111354200_ref22","doi-asserted-by":"crossref","first-page":"205","DOI":"10.7561\/SACS.2020.2.205","article-title":"Probabilistic process algebra and strategic interleaving","volume":"30","author":"Middelburg","year":"2020","journal-title":"Scientific Annals of Computer Science"},{"key":"2023071709111354200_ref23","article-title":"Wheels (draft)","author":"Setzer","year":"1997"},{"issue":"1","key":"2023071709111354200_ref24","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1017\/S0960129503004110","article-title":"Wheels \u2013 On division by zero","volume":"14","author":"Carlstr\u00f6m","year":"2004","journal-title":"Mathematical Structures in Computer Science"},{"key":"2023071709111354200_ref25","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/978-3-030-73785-6_2","volume-title":"Recent Trends in Algebraic Development Techniques. WADT 2020","author":"Bergstra","year":"2021"},{"key":"2023071709111354200_ref26","volume-title":"Vision Geometry XV","author":"Anderson","year":"2007"},{"issue":"1","key":"2023071709111354200_ref27","first-page":"11","article-title":"Construction of the transreal numbers and algebraic transfields","volume":"46","author":"Dos Reis","year":"2016","journal-title":"IAENG International Journal of Applied Mathematics"},{"key":"2023071709111354200_ref28","doi-asserted-by":"crossref","DOI":"10.36285\/tm.47","article-title":"The transrational numbers as an abstract datatype","author":"Bergstra","year":"2020","journal-title":"Transmathematica"},{"issue":"4","key":"2023071709111354200_ref29","first-page":"87","article-title":"Der quasikardinale Aspekt in der Bruchrechnung","volume":"27","author":"Griesel","year":"1981","journal-title":"Der Mathematikunterricht"}],"container-title":["The Computer Journal"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/comjnl\/article-pdf\/66\/7\/1565\/50876208\/bxac026.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/comjnl\/article-pdf\/66\/7\/1565\/50876208\/bxac026.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,17]],"date-time":"2023-07-17T09:15:53Z","timestamp":1689585353000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/comjnl\/article\/66\/7\/1565\/6562943"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,5]]},"references-count":29,"journal-issue":{"issue":"7","published-online":{"date-parts":[[2022,4,5]]},"published-print":{"date-parts":[[2023,7,13]]}},"URL":"https:\/\/doi.org\/10.1093\/comjnl\/bxac026","relation":{},"ISSN":["0010-4620","1460-2067"],"issn-type":[{"value":"0010-4620","type":"print"},{"value":"1460-2067","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2023,7]]},"published":{"date-parts":[[2022,4,5]]}}}