{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,4]],"date-time":"2024-01-04T20:25:28Z","timestamp":1704399928985},"reference-count":14,"publisher":"Elsevier BV","issue":"6","license":[{"start":{"date-parts":[[2015,6,1]],"date-time":"2015-06-01T00:00:00Z","timestamp":1433116800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"vor","delay-in-days":1461,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1016\/j.apal.2015.03.002","type":"journal-article","created":{"date-parts":[[2015,3,25]],"date-time":"2015-03-25T11:02:23Z","timestamp":1427281343000},"page":"729-739","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":1,"title":["Models of intuitionistic set theory in subtoposes of nested realizability toposes"],"prefix":"10.1016","volume":"166","author":[{"given":"Samuele","family":"Maschio","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Streicher","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/j.apal.2015.03.002_br0020","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/j.apal.2008.06.013","article-title":"Aspects of predicative algebraic set theory I: exact completion","volume":"156","author":"van den Berg","year":"2008","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/j.apal.2015.03.002_br0030","doi-asserted-by":"crossref","first-page":"1916","DOI":"10.1016\/j.tcs.2010.12.019","article-title":"Aspects of predicative algebraic set theory II: realizability","volume":"412","author":"van den Berg","year":"2011","journal-title":"Theoret. Comput. Sci."},{"issue":"2","key":"10.1016\/j.apal.2015.03.002_br0050","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1017\/S0305004113000303","article-title":"The Herbrand topos","volume":"155","author":"van den Berg","year":"2013","journal-title":"Math. Proc. Cambridge Philos. Soc."},{"key":"10.1016\/j.apal.2015.03.002_br0060","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S0168-0072(01)00122-1","article-title":"Relative and modified relative realizability","volume":"118","author":"Birkedal","year":"2002","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/j.apal.2015.03.002_br0070","series-title":"Cambridge Summer School in Mathematical Logic","article-title":"Some applications of Kleene's methods for intuitionistic systems","author":"Friedman","year":"1973"},{"key":"10.1016\/j.apal.2015.03.002_br0080","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1017\/S0305004100057534","article-title":"Tripos theory","volume":"88","author":"Hyland","year":"1980","journal-title":"Math. Proc. Cambridge Philos. Soc."},{"key":"10.1016\/j.apal.2015.03.002_br0110","first-page":"1139","article-title":"The Gleason cover of a realizability topos","volume":"28","author":"Johnstone","year":"2013","journal-title":"Theory Appl. Categ."},{"key":"10.1016\/j.apal.2015.03.002_br0120","series-title":"Algebraic Set Theory","author":"Joyal","year":"1995"},{"issue":"3","key":"10.1016\/j.apal.2015.03.002_br0130","doi-asserted-by":"crossref","first-page":"879","DOI":"10.2178\/jsl\/1122038918","article-title":"Algebraic set theory and the effective topos","volume":"70","author":"Kouwenhowen-Gentil","year":"2005","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/j.apal.2015.03.002_br0140","series-title":"Realizability and Recursive Mathematics","author":"McCarty","year":"1984"},{"key":"10.1016\/j.apal.2015.03.002_br0150","doi-asserted-by":"crossref","first-page":"309","DOI":"10.2307\/2270266","article-title":"Can there be no non-recursive functions?","volume":"36","author":"Moschovakis","year":"1971","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/j.apal.2015.03.002_br0160","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/S0022-4049(97)00101-1","article-title":"The modified realizability topos","volume":"116","author":"van Oosten","year":"1997","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/j.apal.2015.03.002_br0170","series-title":"Realizability: An Introduction to Its Categorical Side","author":"van Oosten","year":"2008"},{"key":"10.1016\/j.apal.2015.03.002_br0200","series-title":"Atti degli Incontri di Logica Matematica","article-title":"Un modello per la teoria intuizionista degli insiemi","author":"Rosolini","year":"1982"}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007215000226?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007215000226?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T21:29:36Z","timestamp":1559338176000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0168007215000226"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6]]},"references-count":14,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2015,6]]}},"alternative-id":["S0168007215000226"],"URL":"https:\/\/doi.org\/10.1016\/j.apal.2015.03.002","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[2015,6]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Models of intuitionistic set theory in subtoposes of nested realizability toposes","name":"articletitle","label":"Article Title"},{"value":"Annals of Pure and Applied Logic","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.apal.2015.03.002","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2015 Elsevier B.V. All rights reserved.","name":"copyright","label":"Copyright"}]}}