{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T09:40:09Z","timestamp":1648546809177},"reference-count":7,"publisher":"Oxford University Press (OUP)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Logic Journal of IGPL"],"published-print":{"date-parts":[[2013,10,1]]},"DOI":"10.1093\/jigpal\/jzt003","type":"journal-article","created":{"date-parts":[[2013,3,28]],"date-time":"2013-03-28T00:38:18Z","timestamp":1364431098000},"page":"830-835","source":"Crossref","is-referenced-by-count":0,"title":["Two direct proofs that LLPO implies the detachable fan theorem"],"prefix":"10.1093","volume":"21","author":[{"given":"D. S.","family":"Bridges","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. E.","family":"Dent","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. N.","family":"McKubre-Jordens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2013,3,26]]},"reference":[{"key":"4_45531966","doi-asserted-by":"crossref","first-page":"73","DOI":"10.2178\/bsl\/1294186663","volume":"17","year":"2011","journal-title":"THE BULLETIN OF SYMBOLIC LOGIC"},{"key":"7_45531967","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1007\/BF01447860","volume":"97","year":"1927","journal-title":"MATHEMATISCHE ANNALEN"},{"key":"11_45531968","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1002\/malq.19900360307","volume":"36","year":"1990","journal-title":"ZEITSCHR F MATH LOGIK UND GRUNDLAGEN D MATH"},{"key":"12_45531969","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1305\/ndjfl\/1153858649","volume":"47","year":"2006","journal-title":"NOTRE DAME JOURNAL OF FORMAL LOGIC"},{"key":"13_45531970","doi-asserted-by":"crossref","first-page":"333","DOI":"10.2140\/pjm.1984.111.333","volume":"111","year":"1984","journal-title":"PACIFIC JOURNAL OF MATHEMATICS"},{"key":"15_45531971","first-page":"229","volume":"1","year":"1970","journal-title":"ANNALS OF PURE AND APPLIED LOGIC"},{"key":"18_45531972","first-page":"2086","volume":"11","year":"2005","journal-title":"CONSTRUCTIVITY COMPUTABILITY AND LOGIC JOURNAL OF UNIVERSAL COMPUTER SCIENCE"}],"container-title":["Logic Journal of IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/21\/5\/830\/1952371\/jzt003.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T04:12:05Z","timestamp":1503461525000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article-lookup\/doi\/10.1093\/jigpal\/jzt003"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,26]]},"references-count":7,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2013,9,25]]},"published-print":{"date-parts":[[2013,10,1]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzt003","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3,26]]}}}