{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:34:30Z","timestamp":1726410870172},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662529201"},{"type":"electronic","value":"9783662529218"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-662-52921-8_2","type":"book-chapter","created":{"date-parts":[[2016,8,5]],"date-time":"2016-08-05T11:22:30Z","timestamp":1470396150000},"page":"22-35","source":"Crossref","is-referenced-by-count":0,"title":["Compactness in Infinitary G\u00f6del Logics"],"prefix":"10.1007","author":[{"given":"Juan P.","family":"Aguilera","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,8,6]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.apal.2007.03.001","volume":"147","author":"M Baaz","year":"2008","unstructured":"Baaz, M., Preining, N., Zach, R.: First-order G\u00f6del logics. Ann. Pure Appl. Logic 147, 23\u201347 (2008)","journal-title":"Ann. Pure Appl. Logic"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Yaacov, I.B., Berenstein, A., Henson, C.W., Usvyatsov, A.: Model theory for metric structures. In: Lecture Notes Series of the London Mathematical Society, vol. 350, pp. 315\u2013427 (2008)","DOI":"10.1017\/CBO9780511735219.011"},{"key":"2_CR3","doi-asserted-by":"crossref","first-page":"325","DOI":"10.4064\/fm-53-3-325-334","volume":"53","author":"WP Hanf","year":"1964","unstructured":"Hanf, W.P.: On a problem of Erd\u00f6s and Tarski. Fundamenta Mathematicae 53, 325\u2013334 (1964)","journal-title":"Fundamenta Mathematicae"},{"key":"2_CR4","volume-title":"Set Theory","author":"T Jech","year":"2003","unstructured":"Jech, T.: Set Theory. Springer, New York (2003)"},{"key":"2_CR5","volume-title":"The Higher Infinite","author":"A Kanamori","year":"2009","unstructured":"Kanamori, A.: The Higher Infinite. Springer, New York (2009)"},{"key":"2_CR6","doi-asserted-by":"crossref","first-page":"225","DOI":"10.4064\/fm-53-3-225-308","volume":"53","author":"HJ Keisler","year":"1964","unstructured":"Keisler, H.J., Tarski, A.: From accessible to inaccessible cardinals. Fundamenta Mathematicae 53, 225\u2013308 (1964)","journal-title":"Fundamenta Mathematicae"},{"key":"2_CR7","first-page":"166","volume":"16","author":"D Scott","year":"1958","unstructured":"Scott, D., Tarski, A.: The sentential calculus with infinitely long expressions. Colloquium Mathematicum 16, 166\u2013170 (1958)","journal-title":"Colloquium Mathematicum"},{"key":"2_CR8","doi-asserted-by":"crossref","first-page":"171","DOI":"10.4064\/cm-6-1-171-176","volume":"16","author":"A Tarski","year":"1958","unstructured":"Tarski, A.: Remarks on predicate logic with infinitely long expressions. Colloquium Mathematicum 16, 171\u2013176 (1958)","journal-title":"Colloquium Mathematicum"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-52921-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,12]],"date-time":"2019-09-12T03:12:21Z","timestamp":1568257941000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-52921-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662529201","9783662529218"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-52921-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}