{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T20:20:43Z","timestamp":1694636443102},"reference-count":26,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":1653,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2009,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We present a solution to the problem of denning a counterpart in Algebraic Set Theory of the construction of internal sheaves in Topos Theory. Our approach is general in that we consider sheaves as determined by Lawvere-Tierney coverages, rather than by Grothendieck coverages, and assume only a weakening of the axioms for small maps originally introduced by Joyal and Moerdijk, thus subsuming the existing topos-theoretic results.<\/jats:p>","DOI":"10.2178\/jsl\/1245158088","type":"journal-article","created":{"date-parts":[[2009,6,16]],"date-time":"2009-06-16T13:16:09Z","timestamp":1245158169000},"page":"861-890","source":"Crossref","is-referenced-by-count":2,"title":["Lawvere\u2013Tierney sheaves in Algebraic Set Theory"],"prefix":"10.1017","volume":"74","author":[{"given":"S.","family":"Awodey","sequence":"first","affiliation":[]},{"given":"N.","family":"Gambino","sequence":"additional","affiliation":[]},{"given":"P. L.","family":"Lumsdaine","sequence":"additional","affiliation":[]},{"given":"M. A.","family":"Warren","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200003339_ref004","volume-title":"Archive for Mathematical Logic","author":"van den Berg","year":"2005"},{"key":"S0022481200003339_ref011","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198566519.003.0004"},{"key":"S0022481200003339_ref024","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1201\/9781439865835-14","volume-title":"Logic Colloquium '03","volume":"24","author":"Rathjen","year":"2006"},{"key":"S0022481200003339_ref020","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0066201"},{"key":"S0022481200003339_ref013","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2008.06.008"},{"key":"S0022481200003339_ref005","volume-title":"A unified approach to algebraic set theory","author":"van den Berg","year":"2007"},{"key":"S0022481200003339_ref007","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(94)00103-P"},{"key":"S0022481200003339_ref023","volume-title":"Handbook of logic in computer science","volume":"5","author":"Nordstr\u00f6m","year":"2000"},{"key":"S0022481200003339_ref001","volume-title":"Notes on constructive set theory","author":"Aczel","year":"2001"},{"key":"S0022481200003339_ref002","volume-title":"Relating topos theory and set theory via categories of classes","author":"Awodey","year":"2003"},{"key":"S0022481200003339_ref019","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2004.08.002"},{"key":"S0022481200003339_ref003","first-page":"1","article-title":"Predicative algebraic set theory","volume":"15","author":"Awodey","year":"2005","journal-title":"Theory and applications of categories"},{"key":"S0022481200003339_ref006","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2008.06.013"},{"key":"S0022481200003339_ref008","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(96)00115-6"},{"key":"S0022481200003339_ref010","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(80)90097-3"},{"key":"S0022481200003339_ref012","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2005.05.021"},{"key":"S0022481200003339_ref014","first-page":"67","volume":"71","author":"Gambino","year":"2006","journal-title":"The generalized type-theoretic interpretation of constructive set theory"},{"key":"S0022481200003339_ref017","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511752483"},{"key":"S0022481200003339_ref018","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0927-0"},{"key":"S0022481200003339_ref021","unstructured":"McCarty D. C. , Readability and recursive mathematics, Ph.D. thesis, University of Oxford, 1984."},{"key":"S0022481200003339_ref025","first-page":"77","volume-title":"14th Symposium on Logic in Computer Science","author":"Simpson","year":"1999"},{"key":"S0022481200003339_ref026","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2006.12.003"},{"key":"S0022481200003339_ref009","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(80)90096-1"},{"key":"S0022481200003339_ref015","first-page":"670","volume":"48","author":"Grayson","year":"1983","journal-title":"Forcing for intuitionistic systems without power-set"},{"key":"S0022481200003339_ref022","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(01)00079-3"},{"key":"S0022481200003339_ref016","volume-title":"Sketches of an elephant: A topos theory compendium","author":"Johnstone","year":"2002"}],"container-title":["The Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200003339","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,7]],"date-time":"2021-10-07T11:37:43Z","timestamp":1633606663000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200003339\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9]]},"references-count":26,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,9]]}},"alternative-id":["S0022481200003339"],"URL":"https:\/\/doi.org\/10.2178\/jsl\/1245158088","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,9]]}}}