{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T20:18:31Z","timestamp":1649189911289},"reference-count":6,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":4029,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2003,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Let ZFB be ZF + \u201cevery set is the same size as a wellfounded set\u201d. Then the following are true.<\/jats:p><jats:p><jats:italic>Every sentence true in every (Rieger-Bernays) permutation model of a model of ZF is a theorem of ZFB. (i.e., ZFB is the theory of Rieger-Bernays permutation models of models of ZF) ZF and ZFAFA are both extensions of ZFB conservative for stratified formul\u00e6. The class of models of ZFB is closed under creation of Rieger-Bernays permutation models<\/jats:italic>.<\/jats:p>","DOI":"10.2178\/jsl\/1045861502","type":"journal-article","created":{"date-parts":[[2005,3,2]],"date-time":"2005-03-02T20:51:34Z","timestamp":1109796694000},"page":"1-4","source":"Crossref","is-referenced-by-count":1,"title":["ZF + \u201cEvery set is the same size as a wellfounded set\u201d"],"prefix":"10.1017","volume":"68","author":[{"given":"Thomas","family":"Forster","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200008884_ref006","first-page":"107","volume-title":"Annals of Pure and Aplied Logic","author":"Mathias","year":"2001"},{"key":"S0022481200008884_ref004","unstructured":"Forster T. E. , Kaye R. M. , and Mathias A. R. D. , More on the set theory KF."},{"key":"S0022481200008884_ref005","first-page":"69","article-title":"Axioms of choice and free construction principles I","volume":"36","author":"Forti","year":"1984","journal-title":"Bulletin de la Soci\u00e9t\u00e9 Math\u00e9matique de Belgique s\u00e9rie B"},{"key":"S0022481200008884_ref001","first-page":"837","article-title":"Formules stratifi\u00e9es et axiome de fondation","volume":"264","author":"Coret","year":"1964","journal-title":"Comptes Rendus hebdomadaires ties s\u00e9ances de l'Acad\u00e9mie des Sciences de Paris s\u00e9rie A"},{"key":"S0022481200008884_ref002","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19900360504"},{"key":"S0022481200008884_ref003","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511810282"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200008884","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T23:29:03Z","timestamp":1557185343000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200008884\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,3]]},"references-count":6,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,3]]}},"alternative-id":["S0022481200008884"],"URL":"https:\/\/doi.org\/10.2178\/jsl\/1045861502","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,3]]}}}