{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T17:45:28Z","timestamp":1742924728727,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031156281"},{"type":"electronic","value":"9783031156298"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-15629-8_4","type":"book-chapter","created":{"date-parts":[[2022,9,24]],"date-time":"2022-09-24T16:26:53Z","timestamp":1664036813000},"page":"63-80","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Symmetric Transrationals: The Data Type and\u00a0the\u00a0Algorithmic Degree of\u00a0its Equational Theory"],"prefix":"10.1007","author":[{"given":"Jan A.","family":"Bergstra","sequence":"first","affiliation":[]},{"given":"John V.","family":"Tucker","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,9,7]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Anderson, J.A., V\u00f6lker, N., Adams, A.A.: Perspecx Machine VIII, axioms of transreal arithmetic. In: Latecki, J., Mount, D.M., Wu, A.Y. (eds.) Proceeding SPIE 6499. Vision Geometry XV, p. 649902, (2007). https:\/\/www.spiedigitallibrary.org\/conference-proceedings-of-spie\/6499\/1\/Perspex-Machine-VIII-axioms-of-transreal-arithmetic\/10.1117\/12.698153.short?SSO=1","DOI":"10.1117\/12.698153"},{"key":"4_CR2","doi-asserted-by":"publisher","unstructured":"Anderson, J.A., Bergstra, J.A.: Review of Suppes 1957 proposals for division by zero. Transmathematica (2021). https:\/\/doi.org\/10.36285\/tm.53","DOI":"10.36285\/tm.53"},{"key":"4_CR3","doi-asserted-by":"publisher","unstructured":"Bergstra, J.A.: Division by zero, a survey of options. Transmathematica (2019). https:\/\/doi.org\/10.36285\/tm.v0i0.17","DOI":"10.36285\/tm.v0i0.17"},{"issue":"1","key":"4_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jal.2014.10.001","volume":"13","author":"JA Bergstra","year":"2015","unstructured":"Bergstra, J.A., Middelburg, C.A.: Division by zero in non-involutive meadows. J. Appl. Logic 13(1), 1\u201312 (2015). https:\/\/doi.org\/10.1016\/j.jal.2014.10.001","journal-title":"J. Appl. Logic"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-319-15545-6_6","volume-title":"Software, Services, and Systems","author":"JA Bergstra","year":"2015","unstructured":"Bergstra, J.A., Ponse, A.: Division by zero in common meadows. In: De Nicola, R., Hennicker, R. (eds.) Software, Services, and Systems. LNCS, vol. 8950, pp. 46\u201361. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-15545-6_6"},{"key":"4_CR6","unstructured":"Bergstra, J.A., Ponse, A.: Division by zero in common meadows. Improved version of [5] (2021). https:\/\/arxiv.org\/abs\/1406.6878v4"},{"issue":"2016","key":"4_CR7","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1016\/j.indag.2016.01.007","volume":"27","author":"JA Bergstra","year":"2016","unstructured":"Bergstra, J.A., Ponse, A.: Fracpairs and fractions over a reduced commutative ring. Indigationes Math. 27(2016), 727\u2013748 (2016). https:\/\/doi.org\/10.1016\/j.indag.2016.01.007","journal-title":"Indigationes Math."},{"key":"4_CR8","doi-asserted-by":"publisher","unstructured":"Bergstra, J.A., Tucker, J.A.: The rational numbers as an abstract data type. J. ACM, 54(2) (2007), Article 7. https:\/\/doi.org\/10.1145\/1219092.1219095","DOI":"10.1145\/1219092.1219095"},{"key":"4_CR9","doi-asserted-by":"publisher","unstructured":"Bergstra, J.A., Tucker., J.V.: The transrational numbers as an abstract data type. Transmathematica (2020). https:\/\/doi.org\/10.36285\/tm.47","DOI":"10.36285\/tm.47"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-030-73785-6_2","volume-title":"Recent Trends in Algebraic Development Techniques","author":"JA Bergstra","year":"2021","unstructured":"Bergstra, J.A., Tucker, J.V.: The wheel of rational numbers as an abstract data type. In: Roggenbach, M. (ed.) WADT 2020. LNCS, vol. 12669, pp. 13\u201330. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-73785-6_2"},{"key":"4_CR11","unstructured":"Bergstra, J.A., Tucker., J.V.: Eager equality for rational number arithmetic. Submitted for publication (2021)"},{"issue":"1","key":"4_CR12","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1017\/S0960129503004110","volume":"14","author":"J Carlstr\u00f6m","year":"2004","unstructured":"Carlstr\u00f6m, J.: Wheels-On division by zero. Math. Struct. Comput. Sci. 14(1), 143\u2013184 (2004). https:\/\/doi.org\/10.1017\/S0960129503004110","journal-title":"Math. Struct. Comput. Sci."},{"key":"4_CR13","unstructured":"dos Reis, T.S., Gomide, W., Anderson, J.A.: Construction of the transreal numbers and algebraic transfields. IAENG Int. J. Appl. Math. 46(1), 11\u201323 (2016). http:\/\/www.iaeng.org\/IJAM\/issues_v46\/issue_1\/IJAM_46_1_03.pdf"},{"key":"4_CR14","unstructured":"Ehrich, H.-D., Wolf, M., Loeckx, J.: Specification of Abstract Data Types, Vieweg Teubner (1997)"},{"key":"4_CR15","unstructured":"Goguen, J.A.: Memories of ADJ. Bulletin of the EATCS no. 36, October (1989). https:\/\/cseweb.ucsd.edu\/goguen\/pubs\/other.html"},{"key":"4_CR16","doi-asserted-by":"publisher","unstructured":"Kaynar, D.K., Lynch, N., Segala, R., Vaandrager, F.: The Theory of Timed I\/O Automata. 2nd edn. Morgan Claypool 2010 (2010). https:\/\/doi.org\/10.2200\/S00310ED1V01Y201011DCT005","DOI":"10.2200\/S00310ED1V01Y201011DCT005"},{"issue":"1","key":"4_CR17","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S0890-5401(03)00067-1","volume":"185","author":"N Lynch","year":"2003","unstructured":"Lynch, N., Segala, R., Vaandrager, F.: Hybrid I\/O automata. Inf. Comput. 185(1), 105\u2013157 (2003). https:\/\/doi.org\/10.1016\/S0890-5401(03)00067-1","journal-title":"Inf. Comput."},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Manin, Y.: A Course in Mathematical Logic. Springer (1977). 2nd edn 2010","DOI":"10.1007\/978-1-4757-4385-2"},{"issue":"2","key":"4_CR19","doi-asserted-by":"publisher","first-page":"289","DOI":"10.2969\/jmsj\/03520289","volume":"35","author":"H Ono","year":"1983","unstructured":"Ono, H.: Equational theories and universal theories of fields. J. Math. Soc. Jpn. 35(2), 289\u2013306 (1983). https:\/\/doi.org\/10.2969\/jmsj\/03520289","journal-title":"J. Math. Soc. Jpn."},{"key":"4_CR20","doi-asserted-by":"publisher","unstructured":"Platzer, A.: Logical Analysis of Hybrid Systems. Springer (2010). https:\/\/doi.org\/10.1007\/978-3-642-14509-4","DOI":"10.1007\/978-3-642-14509-4"},{"key":"4_CR21","unstructured":"Poonen, B.: Undecidability in number theory. Not. AMS, 55(3), 344\u2013350 (2008). https:\/\/www.ams.org\/notices\/200803\/tx080300344p.pdf"},{"key":"4_CR22","unstructured":"Setzer, A.: Wheels (Draft) (1997). http:\/\/www.cs.swan.ac.uk\/csetzer\/articles\/wheel.pdf"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Stoltenberg-Hansen, V., Tucker, J.V.: Effective algebras. In: Abramsky, S., Gabbay, D., Maibaum, T. (eds.) Handbook of Logic in Computer Science. Volume IV: Semantic Modelling, Oxford University Press, pp. 357\u2013526 (1995)","DOI":"10.1093\/oso\/9780198537809.003.0004"},{"key":"4_CR24","unstructured":"Suppes, P.: Introduction to Logic. Van Nostrand Reinhold (1957)"},{"key":"4_CR25","unstructured":"Tucker, J.V.: Unfinished Business: abstract data types and computer arithmetic. BCS FACS FACTS, The Newsletter of the Formal Aspects of Computing Science (FACS) Specialist Group, issue 2022\u20131, February 2022, pp. 60\u201368 (2022). https:\/\/www.bcs.org\/media\/8289\/facs-jan22.pdf"},{"issue":"1","key":"4_CR26","doi-asserted-by":"publisher","first-page":"33","DOI":"10.2307\/2964335","volume":"25","author":"JS Ullian","year":"1960","unstructured":"Ullian, J.S.: Splinters of recursive functions. J. Symbolic Logic 25(1), 33\u201338 (1960). https:\/\/doi.org\/10.2307\/2964335","journal-title":"J. Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","A Journey from Process Algebra via Timed Automata to Model Learning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-15629-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,27]],"date-time":"2023-11-27T17:34:56Z","timestamp":1701106496000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-15629-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031156281","9783031156298"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-15629-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"7 September 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}