{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:57:39Z","timestamp":1759147059935},"reference-count":16,"publisher":"Oxford University Press (OUP)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2010,12,1]]},"DOI":"10.1093\/logcom\/exq012","type":"journal-article","created":{"date-parts":[[2010,2,26]],"date-time":"2010-02-26T01:24:41Z","timestamp":1267147481000},"page":"1165-1186","source":"Crossref","is-referenced-by-count":15,"title":["Completeness by Forcing"],"prefix":"10.1093","volume":"20","author":[{"given":"D.","family":"Gaina","sequence":"first","affiliation":[]},{"given":"M.","family":"Petria","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2010,2,24]]},"reference":[{"issue":"6","key":"4_19664918","doi-asserted-by":"publisher","first-page":"1143","DOI":"10.1073\/pnas.50.6.1143","volume":"50","author":"Cohen","year":"1963","journal-title":"PNAS","ISSN":"http:\/\/id.crossref.org\/issn\/0027-8424","issn-type":"print"},{"issue":"1","key":"5_19664929","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1073\/pnas.51.1.105","volume":"51","author":"Cohen","year":"1964","journal-title":"PNAS","ISSN":"http:\/\/id.crossref.org\/issn\/0027-8424","issn-type":"print"},{"key":"6_27570728","first-page":"321","volume":"55","year":"2003","journal-title":"FUNDAMENTA INFORMATICAE"},{"issue":"5","key":"7_20351170","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1093\/logcom\/14.5.651","volume":"14","author":"Diaconescu","year":"2004","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"8_36679571","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/j.ipl.2004.01.005","volume":"90","year":"2004","journal-title":"INFORMATION PROCESSING LETTER"},{"key":"9_27570730","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1023\/B:STUD.0000034185.62660.d6","volume":"77","year":"2004","journal-title":"STUDIA LOGICA"},{"issue":"3","key":"10_22145918","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1093\/logcom\/exi082","volume":"16","author":"Diaconescu","year":"2006","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"12_36679572","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1016\/j.tcs.2007.02.068","volume":"379","year":"2007","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"13_36679573","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1017\/S0960129500000517","volume":"4","year":"1994","journal-title":"MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE"},{"key":"14_36679574","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","year":"1992","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"15_36679575","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","year":"1992","journal-title":"JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY"},{"key":"16_36679576","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/s11225-007-9022-4","volume":"85","year":"2007","journal-title":"STUDIA LOGICA"},{"key":"17_28982882","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2307\/2267044","volume":"14","year":"1949","journal-title":"JOURNAL OF SYMBOLIC LOGIC"},{"key":"19_36679577","first-page":"96","volume":"8","year":"1973","journal-title":"STUDIES IN MODEL THEORY"},{"key":"22_36679578","doi-asserted-by":"crossref","first-page":"1002","DOI":"10.2178\/jsl\/1154698588","volume":"71","year":"2006","journal-title":"JOURNAL OF SYMBOLIC LOGIC"},{"key":"23_36679579","first-page":"69","volume":"50","year":"1979","journal-title":"SYMPOSIA MATHEMATICA"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/20\/6\/1165\/2783443\/exq012.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,26]],"date-time":"2019-02-26T21:51:04Z","timestamp":1551217864000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exq012"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,2,24]]},"references-count":16,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2010,11,15]]},"published-print":{"date-parts":[[2010,12,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exq012","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,2,24]]}}}