{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:43:14Z","timestamp":1749724994856},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1996,6,1]],"date-time":"1996-06-01T00:00:00Z","timestamp":833587200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[1996,6]]},"DOI":"10.1007\/s001530050042","type":"journal-article","created":{"date-parts":[[2002,8,25]],"date-time":"2002-08-25T07:30:30Z","timestamp":1030260630000},"page":"209-224","source":"Crossref","is-referenced-by-count":3,"title":["An algebraic treatment of quantifier-free systems of arithmetic"],"prefix":"10.1007","volume":"35","author":[{"given":"Franco","family":"Montagna","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"60350209153_CR1","unstructured":"Buss, B.: Bounded arithmetic. Thesis, Princeton University (reprinted: Bibliopolis, Napoli) (1986)"},{"key":"60350209153_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A course in universal algebra","author":"S. Burris","year":"1981","unstructured":"Burris, S., Sankappanavar, HP.: A course in universal algebra. Berlin Heidelberg New York: Springer 1981"},{"key":"60350209153_CR3","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/BF02485416","volume":"7","author":"S. Bulman-Fleming","year":"1977","unstructured":"Bulman-Fleming, S., Werner, H.: Equational compactness in quasi primal algebras. Algebra Universalis 7, 37\u201346 (1977)","journal-title":"Algebra Universalis"},{"key":"60350209153_CR4","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1090\/S0002-9947-1979-0522263-8","volume":"248","author":"S. Burris","year":"1979","unstructured":"Burris, S., Werner, H.: Sheaf constructions and their elementary properties. Trans. Amer. Math. Soc. 248, 269\u2013309 (1979)","journal-title":"Trans. Amer. Math. Soc."},{"key":"60350209153_CR5","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1090\/conm\/106\/1057819","volume":"105","author":"F. Ferreira","year":"1990","unstructured":"Ferreira, F.: Polynomial time computable arithmetic. Contemp. Math. 105, 137\u2013155 (1990)","journal-title":"Contemp. Math."},{"key":"60350209153_CR6","unstructured":": Universal algebra. Berlin Heidelberg New York: Springer 1979"},{"key":"60350209153_CR7","first-page":"59","volume":"148","author":"K. Keimel","year":"1974","unstructured":"Keimel, K., Werner, H.: Stone duality for varieties generated by quasi primal algebras. Mem. Amer. Math. Soc. 148, 59\u201385 (1974)","journal-title":"Mem. Amer. Math. Soc."},{"key":"60350209153_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-22156-3","volume-title":"The metamathematics of first order arithmetic","author":"P. H\u00e0jek","year":"1993","unstructured":"H\u00e0jek, P., Pudl\u00e0k, P.: The metamathematics of first order arithmetic. Berlin Heidelberg New York: Springer 1993"},{"key":"60350209153_CR9","unstructured":"Lambek, J.: Primitive recursive functions and universal algebra (unpublished)"},{"key":"60350209153_CR10","volume-title":"Subrecursion functions and hierarchies","author":"H.P. Rose","year":"1984","unstructured":"Rose, H.P.: Subrecursion functions and hierarchies. Oxford: Clarendon Press 1984"},{"key":"60350209153_CR11","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/BF01974157","volume":"5","author":"J. Shepherdson","year":"1960","unstructured":"Shepherdson, J.: Representability of r.e. sets in formal systems. Arch. Math. Logic 5, 119\u2013127(1960)","journal-title":"Arch. Math. Logic"},{"key":"60350209153_CR12","first-page":"827","volume-title":"Handbook of Mathematical Logic","author":"C. Smorynski","year":"1977","unstructured":"Smorynski, C.: The incompleteness theorems. In: Barwise, J. (ed.) Handbook of Mathematical Logic, pp. 827\u2013865. Amsterdam: North Holland 1977"},{"key":"60350209153_CR13","volume-title":"Studien f\u00fcr Algebra und ihre Anwendungen","author":"H. Werner","year":"1978","unstructured":"Werner, H.: Discriminator algebras. Studien f\u00fcr Algebra und ihre Anwendungen, Vol. 6. Berlin: Akademie Verlag 1978"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s001530050042.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s001530050042\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s001530050042","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T15:54:46Z","timestamp":1558626886000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s001530050042"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,6]]},"references-count":13,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1996,6]]}},"alternative-id":["60350209153"],"URL":"https:\/\/doi.org\/10.1007\/s001530050042","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,6]]}}}