{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T21:31:29Z","timestamp":1757626289716,"version":"3.44.0"},"reference-count":18,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1986,1,1]],"date-time":"1986-01-01T00:00:00Z","timestamp":504921600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1986,1,1]],"date-time":"1986-01-01T00:00:00Z","timestamp":504921600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2004,5,4]],"date-time":"2004-05-04T00:00:00Z","timestamp":1083628800000},"content-version":"vor","delay-in-days":6698,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[1986]]},"DOI":"10.1016\/0168-0072(86)90046-1","type":"journal-article","created":{"date-parts":[[2003,5,12]],"date-time":"2003-05-12T18:40:50Z","timestamp":1052764850000},"page":"103-109","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":2,"special_numbering":"C","title":["Embedding sheaf models for set theory into boolean-valued permutation models with an interior operator"],"prefix":"10.1016","volume":"32","author":[{"given":"Andre","family":"Scedrov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"year":"1977","series-title":"Boolean-valued Models and Independence Proofs in Set Theory","author":"Bell","key":"10.1016\/0168-0072(86)90046-1_BIB1"},{"key":"10.1016\/0168-0072(86)90046-1_BIB2","unstructured":"R.C. Flagg, Integrating classical and intuitionistic mathematics, Ann. Pure Appl. Logic, to appear."},{"key":"10.1016\/0168-0072(86)90046-1_BIB3","doi-asserted-by":"crossref","first-page":"895","DOI":"10.2307\/2273979","article-title":"Epistemic set theory is a conservative extension of intuitionistic set theory","volume":"50","author":"Flagg","year":"1985","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(86)90046-1_BIB4","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0022-4049(80)90096-1","article-title":"Sheaf models for set theory","volume":"19","author":"Fourman","year":"1980","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/0168-0072(86)90046-1_BIB5","series-title":"Abstracts of the 1983\u20131984 A.S.L. Annual Meeting","first-page":"1443","article-title":"Toposes and modal logic","volume":"49","author":"Fourman","year":"1984"},{"key":"10.1016\/0168-0072(86)90046-1_BIB6","series-title":"Applications of Sheaves","first-page":"302","article-title":"Sheaves and logic","volume":"753","author":"Fourman","year":"1979"},{"key":"10.1016\/0168-0072(86)90046-1_BIB7","unstructured":"P. Freyd, All topoi are localic, or: Why permutation models prevail, J. Pure Appl. Algebra, to appear."},{"key":"10.1016\/0168-0072(86)90046-1_BIB8","first-page":"39","article-title":"Eine Interpretation des Intuitionistichen Aussagenkalkuls","volume":"4","author":"G\u00f6del","year":"1932","journal-title":"Ergebnisse eines mathematischen Kolloquiums"},{"key":"10.1016\/0168-0072(86)90046-1_BIB9","series-title":"Intensional Mathematics","article-title":"A genuinely intensional set theory","author":"Goodman","year":"1985"},{"year":"1983","series-title":"Boolean-valued models of epistemic set theory","author":"Goodman","key":"10.1016\/0168-0072(86)90046-1_BIB10"},{"key":"10.1016\/0168-0072(86)90046-1_BIB11","series-title":"Applications of Sheaves","first-page":"402","article-title":"Heyting-valued models for intuitionistic set theory","volume":"753","author":"Grayson","year":"1979"},{"year":"1977","series-title":"Topos Theory","author":"Johnstone","key":"10.1016\/0168-0072(86)90046-1_BIB12"},{"key":"10.1016\/0168-0072(86)90046-1_BIB13","first-page":"409","article-title":"Quotients of decidable objects in a topos","volume":"93","author":"Johnstone","year":"1983"},{"key":"10.1016\/0168-0072(86)90046-1_BIB14","series-title":"Intensional Mathematics","article-title":"Intensional set theory","author":"Myhill","year":"1985"},{"year":"1963","series-title":"The Mathematics of Metamathematics","author":"Rasiowa","key":"10.1016\/0168-0072(86)90046-1_BIB15"},{"key":"10.1016\/0168-0072(86)90046-1_BIB16","series-title":"Intensional Mathematics","article-title":"Extending G\u00f6del's modal interpretation to type theory and set theory","author":"\u0160\u010dedrov","year":"1985"},{"key":"10.1016\/0168-0072(86)90046-1_BIB17","unstructured":"A. \u0160\u010dedrov, Some properties of epistemic set theory with collection, J. Symbolic Logic, to appear."},{"key":"10.1016\/0168-0072(86)90046-1_BIB18","series-title":"Constructive Mathematics","first-page":"54","article-title":"Consistency and independence results in intuitionistic set theory","volume":"873","author":"\u0160\u010dedrov","year":"1981"}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0168007286900461?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0168007286900461?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T21:39:26Z","timestamp":1757453966000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0168007286900461"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"references-count":18,"alternative-id":["0168007286900461"],"URL":"https:\/\/doi.org\/10.1016\/0168-0072(86)90046-1","relation":{},"ISSN":["0168-0072"],"issn-type":[{"type":"print","value":"0168-0072"}],"subject":[],"published":{"date-parts":[[1986]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Embedding sheaf models for set theory into boolean-valued permutation models with an interior operator","name":"articletitle","label":"Article Title"},{"value":"Annals of Pure and Applied Logic","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/0168-0072(86)90046-1","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1986 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}