{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:12:16Z","timestamp":1742944336863,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540759386"},{"type":"electronic","value":"9783540759393"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-75939-3_11","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T05:47:10Z","timestamp":1193464030000},"page":"160-193","source":"Crossref","is-referenced-by-count":0,"title":["Finitely Presented Abelian Lattice-Ordered Groups"],"prefix":"10.1007","author":[{"given":"A. M. W.","family":"Glass","sequence":"first","affiliation":[]},{"given":"Fran\u00e7oise","family":"Point","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"58","DOI":"10.4153\/CJM-1968-008-x","volume":"20","author":"K.A. Baker","year":"1968","unstructured":"Baker, K.A.: Free vector lattices. Canad. J. Math.\u00a020, 58\u201366 (1968)","journal-title":"Canad. J. Math."},{"issue":"3","key":"11_CR2","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1112\/plms\/s3-31.1.114","volume":"31","author":"W.M. Beynon","year":"1975","unstructured":"Beynon, W.M.: Duality theorems for finitely generated vector lattices. Proc. London Math. Soc.\u00a031(3), 114\u2013128 (1975)","journal-title":"Proc. London Math. Soc."},{"issue":"2","key":"11_CR3","doi-asserted-by":"publisher","first-page":"243","DOI":"10.4153\/CJM-1977-026-4","volume":"29","author":"W.M. Beynon","year":"1977","unstructured":"Beynon, W.M.: Applications of duality in the theory of finitely generated lattice-ordered abelian groups. Can. J. Math.\u00a029(2), 243\u2013254 (1977)","journal-title":"Can. J. Math."},{"key":"11_CR4","series-title":"Trends in Logic","doi-asserted-by":"crossref","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.: Algebraic foundations of many-valued reasoning. Trends in Logic, vol.\u00a07. Kluwer Academic publishers, Dordrecht (2000)"},{"key":"11_CR5","series-title":"Series in Algebra","doi-asserted-by":"crossref","DOI":"10.1142\/3811","volume-title":"Partially ordered groups","author":"A.M.W. Glass","year":"1999","unstructured":"Glass, A.M.W.: Partially ordered groups. Series in Algebra, vol.\u00a07. World Scientific Pub. Co., Singapore (1999)"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1016\/j.apal.2004.10.017","volume":"134","author":"A.M.W. Glass","year":"2005","unstructured":"Glass, A.M.W., Macintyre, A.J., Point, F.: Free abelian lattice-ordered groups. Annals of Pure and Applied Logic\u00a0134, 265\u2013283 (2005)","journal-title":"Annals of Pure and Applied Logic"},{"issue":"1","key":"11_CR7","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1112\/jlms\/s2-30.1.53","volume":"30","author":"A.M.W. Glass","year":"1984","unstructured":"Glass, A.M.W., Madden, J.J.: The word problem versus the isomorphism problem. J. London Math. Soc.\u00a030(1), 53\u201361 (1984)","journal-title":"J. London Math. Soc."},{"key":"11_CR8","doi-asserted-by":"crossref","first-page":"137","DOI":"10.4064\/fm-38-1-137-152","volume":"38","author":"A. Grzegorczyk","year":"1951","unstructured":"Grzegorczyk, A.: Undecidability of some topological theories. Fund. Math.\u00a038, 137\u2013152 (1951)","journal-title":"Fund. Math."},{"key":"11_CR9","unstructured":"Marra, V., Mundici, D.: Combinatorial fans, lattice-ordered groups, and their neighbours: a short excursion. S\u00e9minaire Lotharingien de Combinatoire\u00a047, B47 (2002)"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Semmes, S.: Real analysis, quantitative topology and geometric complexity. Publicacions matematiques (Barcelona)\u00a045, 3\u201367, 265\u2013333 (2001)","DOI":"10.5565\/PUBLMAT_45201_01"},{"key":"11_CR11","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1090\/S0002-9939-1958-0104219-4","volume":"9","author":"E.F. Whittlesey","year":"1958","unstructured":"Whittlesey, E.F.: Classification of finite 2-complexes. Proc. Amer. Math. Soc.\u00a09, 841\u2013845 (1958)","journal-title":"Proc. Amer. Math. Soc."}],"container-title":["Lecture Notes in Computer Science","Algebraic and Proof-theoretic Aspects of Non-classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75939-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T14:54:07Z","timestamp":1684076047000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75939-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540759386","9783540759393"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75939-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}