{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,26]],"date-time":"2026-08-26T11:50:58Z","timestamp":1787745058757,"version":"build-2784847793"},"reference-count":47,"publisher":"SAGE Publications","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["COM"],"published-print":{"date-parts":[[2023,12,21]]},"abstract":"<jats:p>We study the primitive recursive content of various closure results in algebra and model theory, including the algebraic, the real, and the differential closure theorems. In the case of ordered fields and their real closures, our result settles a question recently raised by Selivanova and Selivanov.<\/jats:p>","DOI":"10.3233\/com-230448","type":"journal-article","created":{"date-parts":[[2023,8,29]],"date-time":"2023-08-29T11:20:02Z","timestamp":1693308002000},"page":"323-337","source":"Crossref","is-referenced-by-count":2,"title":["Punctually presented structures I: Closure theorems"],"prefix":"10.1177","volume":"12","author":[{"given":"Marina","family":"Dorzhieva","sequence":"first","affiliation":[{"name":"School of Mathematics and Statistics, Victoria University of Wellington, Wellington, New Zealand"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexander","family":"Melnikov","sequence":"additional","affiliation":[{"name":"School of Mathematics and Statistics, Victoria University of Wellington, Wellington, New Zealand"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"179","reference":[{"issue":"1","key":"10.3233\/COM-230448_ref1","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/s10469-016-9377-6","article-title":"Existence and uniqueness of structures computable in polynomial time","volume":"55","author":"Alaev","year":"2016","journal-title":"Algebra and Logic"},{"issue":"4","key":"10.3233\/COM-230448_ref2","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/s10469-018-9498-1","article-title":"Categoricity for primitively recursive and polynomial Boolean algebras","volume":"57","author":"Alaev","year":"2018","journal-title":"Algebra Logika"},{"issue":"5","key":"10.3233\/COM-230448_ref3","doi-asserted-by":"publisher","first-page":"801","DOI":"10.1134\/S0037446622050019","article-title":"Finitely generated structures computable in polynomial time","volume":"63","author":"Alaev","year":"2022","journal-title":"Sib. Math. J."},{"issue":"6","key":"10.3233\/COM-230448_ref4","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/s10469-022-09661-3","article-title":"Fields of algebraic numbers computable in polynomial time. II","volume":"60","author":"Alaev","year":"2021","journal-title":"Algebra Logic"},{"key":"10.3233\/COM-230448_ref5","doi-asserted-by":"crossref","unstructured":"P.E. Alaev and V.L. Selivanov, Searching for applicable versions of computable structures, in: Connecting with Computability, Lecture Notes in Comput. Sci., Vol. 12813, Springer, Cham, 2021, pp. 1\u201311.","DOI":"10.1007\/978-3-030-80049-9_1"},{"key":"10.3233\/COM-230448_ref6","unstructured":"C. Ash and J. Knight, Computable Structures and the Hyperarithmetical Hierarchy, Studies in Logic and the Foundations of Mathematics, Vol. 144, North-Holland Publishing Co., Amsterdam, 2000."},{"issue":"2","key":"10.3233\/COM-230448_ref7","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1017\/bsl.2019.20","article-title":"Foundations of online structure theory","volume":"25","author":"Bazhenov","year":"2019","journal-title":"Bull. Symb. Log."},{"issue":"4","key":"10.3233\/COM-230448_ref9","doi-asserted-by":"publisher","first-page":"1630","DOI":"10.1017\/jsl.2019.26","article-title":"Automatic and polynomial-time algebraic structures","volume":"84","author":"Bazhenov","year":"2019","journal-title":"J. Symb. Log."},{"key":"10.3233\/COM-230448_ref10","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/j.tcs.2020.08.021","article-title":"Online presentations of finitely generated structures","volume":"844","author":"Bazhenov","year":"2020","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"10.3233\/COM-230448_ref11","doi-asserted-by":"publisher","first-page":"28","DOI":"10.33048\/smzh.2019.60.103","article-title":"Primitively recursively categorical linear orderings","volume":"60","author":"Blinov","year":"2019","journal-title":"Sibirsk. Mat. Zh."},{"issue":"1","key":"10.3233\/COM-230448_ref13","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0168-0072(91)90008-A","article-title":"Polynomial-time versus recursive models","volume":"54","author":"Cenzer","year":"1991","journal-title":"Ann. Pure Appl. Logic"},{"issue":"1\u20133","key":"10.3233\/COM-230448_ref14","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1016\/0168-0072(92)90076-C","article-title":"Polynomial-time Abelian groups","volume":"56","author":"Cenzer","year":"1992","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.3233\/COM-230448_ref15","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0030287"},{"issue":"1\u20132","key":"10.3233\/COM-230448_ref16","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/S0747-7171(88)80004-X","article-title":"Real quantifier elimination is doubly exponential","volume":"5","author":"Davenport","year":"1988","journal-title":"J. Symbolic Comput."},{"issue":"4","key":"10.3233\/COM-230448_ref18","doi-asserted-by":"publisher","first-page":"716","DOI":"10.1134\/S1995080221040089","article-title":"Punctual dimension of algebraic structures in certain classes","volume":"42","author":"Dorzhieva","year":"2021","journal-title":"Lobachevskii J. Math."},{"issue":"4","key":"10.3233\/COM-230448_ref19","doi-asserted-by":"publisher","first-page":"1427","DOI":"10.1017\/jsl.2020.51","article-title":"Punctual categoricity and universality","volume":"85","author":"Downey","year":"2020","journal-title":"J. Symb. Log."},{"key":"10.3233\/COM-230448_ref20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jcss.2020.02.004","article-title":"Graphs are not universal for online computability","volume":"112","author":"Downey","year":"2020","journal-title":"J. Comput. System Sci."},{"key":"10.3233\/COM-230448_ref21","doi-asserted-by":"crossref","unstructured":"R. Downey, A. Melnikov and K. Meng Ng, Foundations of online structure theory II: The operator approach, Log. Methods Comput. Sci. 17(3) (2021), 6.","DOI":"10.46298\/lmcs-17(3:6)2021"},{"key":"10.3233\/COM-230448_ref22","doi-asserted-by":"crossref","unstructured":"Y. Ershov and S. Goncharov, Constructive Models. Siberian School of Algebra and Logic, Consultants Bureau, New York, 2000.","DOI":"10.1007\/978-1-4615-4305-3"},{"key":"10.3233\/COM-230448_ref23","doi-asserted-by":"crossref","unstructured":"Y.L. Ershov, Numbered fields, in: Methodology and Philosophy of Science III, B. Van Rootselaar and J.F. Staal, eds, Studies in Logic and the Foundations of Mathematics, Vol. 52, North-Holland Publishing Co., Amsterdam, 1968, pp. 31\u201334.","DOI":"10.1016\/S0049-237X(08)71185-6"},{"key":"10.3233\/COM-230448_ref24","doi-asserted-by":"crossref","unstructured":"J. Fels Ritt, Differential Algebra, American Mathematical Society Colloquium Publications, Vol. XXXIII, American Mathematical Society, New York, NY, 1950.","DOI":"10.1090\/coll\/033"},{"key":"10.3233\/COM-230448_ref25","unstructured":"S. Goncharov, Countable Boolean Algebras and Decidability. Siberian School of Algebra and Logic, Consultants Bureau, New York, 1997."},{"key":"10.3233\/COM-230448_ref26","doi-asserted-by":"crossref","unstructured":"S.S. Goncharov and A.T. Nurtazin, Constructive models of complete decidable theories, Algebra i Logika 12(125\u2013142) (1973), 243.","DOI":"10.1007\/BF02219289"},{"key":"10.3233\/COM-230448_ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2021.102985"},{"key":"10.3233\/COM-230448_ref28","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-51517-8_81"},{"key":"10.3233\/COM-230448_ref29","doi-asserted-by":"crossref","unstructured":"V.S. Harizanov, Pure computable model theory, in: Handbook of Recursive Mathematics, Stud. Logic Found. Math., Vol. 1, North-Holland, Amsterdam, 1998, pp. 3\u2013114.","DOI":"10.1016\/S0049-237X(98)80002-5"},{"key":"10.3233\/COM-230448_ref30","doi-asserted-by":"publisher","first-page":"305","DOI":"10.2307\/2272643","article-title":"Recursively presentable prime models","volume":"39","author":"Harrington","year":"1974","journal-title":"J. Symbolic Logic"},{"key":"10.3233\/COM-230448_ref31","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1016\/j.jalgebra.2015.06.004","article-title":"Independence in computable algebra","volume":"443","author":"Harrison-Trainor","year":"2015","journal-title":"J. Algebra"},{"issue":"6","key":"10.3233\/COM-230448_ref32","doi-asserted-by":"publisher","first-page":"1338","DOI":"10.4153\/CJM-2016-044-7","article-title":"On computable field embeddings and difference closed fields","volume":"69","author":"Harrison-Trainor","year":"2017","journal-title":"Canadian Journal of Mathematics"},{"key":"10.3233\/COM-230448_ref33","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/j.tcs.2017.01.029","article-title":"Algebraic structures computable without delay","volume":"674","author":"Kalimullin","year":"2017","journal-title":"Theoret. Comput. Sci."},{"key":"10.3233\/COM-230448_ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2021.102987"},{"issue":"1","key":"10.3233\/COM-230448_ref35","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/s10469-019-09527-1","article-title":"Primitive recursive fields and categoricity","volume":"58","author":"Kalimullin","year":"2019","journal-title":"Algebra and Logic"},{"key":"10.3233\/COM-230448_ref36","unstructured":"I. Kaplansky, An Introduction to Differential Algebra, Publ. Inst. Math. Univ. Nancago, Vol. 5, Hermann, Paris, 1957."},{"issue":"2","key":"10.3233\/COM-230448_ref37","doi-asserted-by":"publisher","first-page":"239","DOI":"10.2307\/2270515","article-title":"A note on computable real fields","volume":"35","author":"Madison","year":"1970","journal-title":"The Journal of Symbolic Logic"},{"issue":"3","key":"10.3233\/COM-230448_ref38","first-page":"3","article-title":"Constructive algebras. I","volume":"16","author":"Mal\u2019cev","year":"1961","journal-title":"Uspehi Mat. Nauk"},{"key":"10.3233\/COM-230448_ref39","unstructured":"D. Marker, Model theory of differential fields, in: Model Theory, Algebra, and Geometry, Math. Sci. Res. Inst. Publ., Vol. 39, Cambridge Univ. Press, Cambridge, 2000, pp. 53\u201363."},{"key":"10.3233\/COM-230448_ref40","unstructured":"D. Marker, Model Theory: An Introduction, Graduate Texts in Mathematics, Springer, 2002."},{"issue":"1","key":"10.3233\/COM-230448_ref41","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/jsl.2016.73","article-title":"Turing degree spectra of differentially closed fields","volume":"82","author":"Marker","year":"2017","journal-title":"J. Symb. Log."},{"issue":"7","key":"10.3233\/COM-230448_ref42","doi-asserted-by":"publisher","first-page":"3113","DOI":"10.1090\/proc\/15020","article-title":"A structure of punctual dimension two","volume":"148","author":"Melnikov","year":"2020","journal-title":"Proc. Amer. Math. Soc."},{"key":"10.3233\/COM-230448_ref43","doi-asserted-by":"crossref","unstructured":"A. Montalb\u00e1n, Computable Structure Theory \u2013 Within the Arithmetic. Perspectives in Logic, Cambridge University Press, Cambridge; Association for Symbolic Logic, Ithaca, NY, 2021.","DOI":"10.1017\/9781108525749"},{"issue":"2","key":"10.3233\/COM-230448_ref44","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1090\/S0002-9947-1960-0113807-4","article-title":"Computable algebra, general theory and theory of computable fields","volume":"95","author":"Rabin","year":"1960","journal-title":"Transactions of the American Mathematical Society"},{"key":"10.3233\/COM-230448_ref45","first-page":"113","article-title":"On the concept of a differentially closed field","volume":"8F","author":"Robinson","year":"1959","journal-title":"Bull. Res. Council Israel Sect. F"},{"key":"10.3233\/COM-230448_ref46","unstructured":"G.E. Sacks, Saturated Model Theory, 2nd edn, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2010."},{"key":"10.3233\/COM-230448_ref47","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-85165-1_20"},{"key":"10.3233\/COM-230448_ref48","doi-asserted-by":"crossref","unstructured":"S. Simpson, Subsystems of Second Order Arithmetic. Perspectives in Logic, 2nd edn, Cambridge University Press, Cambridge, 2009.","DOI":"10.1017\/CBO9780511581007"},{"key":"10.3233\/COM-230448_ref49","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0090954"},{"issue":"6","key":"10.3233\/COM-230448_ref50","doi-asserted-by":"publisher","first-page":"1271","DOI":"10.33048\/smzh.2019.60.607","article-title":"Punctual copies of algebraic structures","volume":"60","author":"Zubkov","year":"2019","journal-title":"Sibirsk. Mat. Zh."}],"container-title":["Computability"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/COM-230448","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T16:02:57Z","timestamp":1777392177000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/COM-230448"}},"subtitle":[],"editor":[{"given":"Nikolay","family":"Bazhenov","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"editor"}]},{"given":"Takayuki","family":"Kihara","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"editor"}]},{"given":"Svetlana","family":"Selivanova","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"editor"}]}],"short-title":[],"issued":{"date-parts":[[2023,12,21]]},"references-count":47,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.3233\/com-230448","relation":{},"ISSN":["2211-3576","2211-3568"],"issn-type":[{"value":"2211-3576","type":"electronic"},{"value":"2211-3568","type":"print"}],"subject":[],"published":{"date-parts":[[2023,12,21]]}}}