{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T08:11:29Z","timestamp":1649146289135},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"12","license":[{"start":{"date-parts":[[2020,4,9]],"date-time":"2020-04-09T00:00:00Z","timestamp":1586390400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,4,9]],"date-time":"2020-04-09T00:00:00Z","timestamp":1586390400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2020,6]]},"DOI":"10.1007\/s00500-020-04910-y","type":"journal-article","created":{"date-parts":[[2020,4,9]],"date-time":"2020-04-09T07:02:35Z","timestamp":1586415755000},"page":"8751-8761","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A characterization of pseudofinite MV-algebras"],"prefix":"10.1007","volume":"24","author":[{"given":"Eslam","family":"Farsimadan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giacomo","family":"Lenzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Rizzo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arsham Borumand","family":"Saeid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,4,9]]},"reference":[{"key":"4910_CR1","doi-asserted-by":"publisher","first-page":"239","DOI":"10.2307\/1970573","volume":"88","author":"J Ax","year":"1968","unstructured":"Ax J (1968) The elementary theory of finite fields. Ann Math (2) 88:239\u2013271","journal-title":"Ann Math (2)"},{"key":"4910_CR2","doi-asserted-by":"publisher","first-page":"1208","DOI":"10.1016\/j.jpaa.2012.10.012","volume":"271","author":"LP Belluce","year":"2013","unstructured":"Belluce LP, Di Nola A, Lenzi G (2013) Hyperfinite MV-algebras. J Pure Appl Logic 271:1208\u20131223","journal-title":"J Pure Appl Logic"},{"issue":"3","key":"4910_CR3","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/s00012-017-0435-2","volume":"77","author":"LP Belluce","year":"2017","unstructured":"Belluce LP, Di Nola A, Lenzi G (2017) Relative subalgebras of MV-algebras. Algebra Univ 77(3):345\u2013360","journal-title":"Algebra Univ"},{"issue":"3\u20134","key":"4910_CR4","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/s00012-015-0329-0","volume":"73","author":"M Botur","year":"2015","unstructured":"Botur M, Paseka J (2015) Another proof of the completeness of the \u0141ukasiewicz axioms and of the extensions of Di Nola\u2019s theorem. Algebra Univ 73(3\u20134):277\u2013290","journal-title":"Algebra Univ"},{"key":"4910_CR5","volume-title":"Model theory","author":"C Chang","year":"1990","unstructured":"Chang C, Keisler J (1990) Model theory. Elsevier, Amsterdam"},{"key":"4910_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9480-6","volume-title":"Algebraic foundations of many-valued reasoning","author":"R Cignoli","year":"2000","unstructured":"Cignoli R, D\u2019Ottaviano I, Mundici D (2000) Algebraic foundations of many-valued reasoning. Kluwer, Dordrecht"},{"key":"4910_CR7","first-page":"91","volume":"7","author":"DC Cooper","year":"1972","unstructured":"Cooper DC (1972) Theorem proving in arithmetic without multiplication. Mach Intell 7:91\u201399","journal-title":"Mach Intell"},{"key":"4910_CR8","first-page":"291","volume":"40","author":"A Di Nola","year":"1991","unstructured":"Di Nola A (1991) Representation and reticulation by quotients of MV-algebras. Ricerche di matematica (Naples) 40:291\u2013297","journal-title":"Ricerche di matematica (Naples)"},{"key":"4910_CR9","unstructured":"Di Nola A (1991) MV-algebras in the treatment of uncertainty. In: Fuzzy logic, Proceedings of the international congress IFSA, Bruxelles, Kluwer, Dordrecht, pp 123\u2013131"},{"key":"4910_CR10","first-page":"165","volume":"46","author":"Y Gurevich","year":"1965","unstructured":"Gurevich Y (1965) Elementary properties of ordered abelian groups. AMS Transl 46:165\u2013192","journal-title":"AMS Transl"},{"key":"4910_CR11","first-page":"45","volume":"6","author":"Y Gurevich","year":"1967","unstructured":"Gurevich Y (1967) Hereditary undecidability of a class of lattice-ordered Abelian groups (Russian). Algebra i Logika Sem 6:45\u201362","journal-title":"Algebra i Logika Sem"},{"issue":"3","key":"4910_CR12","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/0304-3975(80)90048-1","volume":"10","author":"D Kozen","year":"1980","unstructured":"Kozen D (1980) Complexity of Boolean algebras. Theor Comput Sci 10(3):221\u2013247","journal-title":"Theor Comput Sci"},{"key":"4910_CR13","unstructured":"Rizzo P (2015) On pseudofinite models (in Italian), Master thesis, University of Salerno"},{"key":"4910_CR14","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1090\/S0002-9947-1960-0114855-0","volume":"96","author":"A Robinson","year":"1960","unstructured":"Robinson A, Zakon E (1960) Elementary properties of ordered Abelian groups. Trans Am Math Soc 96:222\u2013236","journal-title":"Trans Am Math Soc"},{"key":"4910_CR15","unstructured":"Vaananen J (2003) Pseudo-finite model theory. In: 8th Workshop on logic, language, informations and computation-WoLLIC\u20192001 (Braslia). Mat Contemp, vol 24, pp 169\u2013183"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-020-04910-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-020-04910-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-020-04910-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,8]],"date-time":"2021-04-08T23:27:14Z","timestamp":1617924434000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-020-04910-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,4,9]]},"references-count":15,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2020,6]]}},"alternative-id":["4910"],"URL":"https:\/\/doi.org\/10.1007\/s00500-020-04910-y","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,4,9]]},"assertion":[{"value":"9 April 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with ethical standards"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"This article does not contain any studies with human participants or animals performed by any of the authors.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Human and animal participants"}}]}}