{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T21:57:14Z","timestamp":1747173434162,"version":"3.40.5"},"reference-count":10,"publisher":"Cambridge University Press (CUP)","issue":"9","license":[{"start":{"date-parts":[[2021,2,10]],"date-time":"2021-02-10T00:00:00Z","timestamp":1612915200000},"content-version":"unspecified","delay-in-days":132,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2020,10]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We develop a technique for representing and preserving cardinals in realizability models, and we apply this technique to define a realizability model of Zorn\u2019s lemma restricted to an ordinal.<\/jats:p>","DOI":"10.1017\/s0960129521000013","type":"journal-article","created":{"date-parts":[[2021,2,10]],"date-time":"2021-02-10T08:04:15Z","timestamp":1612944255000},"page":"976-996","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":0,"title":["Preserving cardinals and weak forms of Zorn\u2019s lemma in realizability models"],"prefix":"10.1017","volume":"30","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1588-7524","authenticated-orcid":false,"given":"Laura","family":"Fontanella","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guillaume","family":"Geoffroy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2021,2,10]]},"reference":[{"key":"S0960129521000013_ref4","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-7(3:2)2011"},{"volume-title":"Equivalents of the Axiom of Choice II","year":"1985","author":"Rubin","key":"S0960129521000013_ref9"},{"key":"S0960129521000013_ref6","first-page":"146","article-title":"On the structure of classical realizability models of ZF","volume":"39","author":"Krivine","year":"2015","journal-title":"Proceedings of TYPES-2014 - LIPIcs"},{"key":"S0960129521000013_ref5","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-8(1:10)2012"},{"key":"S0960129521000013_ref2","unstructured":"Jech, T. J. (2003). Set Theory: The Third Millennium Edition, Berlin, Springer."},{"key":"S0960129521000013_ref7","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129516000050"},{"volume-title":"Set theory: An Introduction to Independence Proofs","year":"1980","author":"Kunen","key":"S0960129521000013_ref8"},{"key":"S0960129521000013_ref10","volume-title":"Lectures on the Curry-Howard Isomorphism","volume":"149","author":"S\u00f8rensen","year":"2006"},{"key":"S0960129521000013_ref1","unstructured":"Geoffroy, G. (2018). R\u00e9alisabilit\u00e9 classique: nouveaux outils et applications. Phd thesis."},{"volume-title":"The Axiom of Choice","year":"1973","author":"Jech","key":"S0960129521000013_ref3"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129521000013","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,25]],"date-time":"2021-11-25T14:47:47Z","timestamp":1637851667000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129521000013\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10]]},"references-count":10,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2020,10]]}},"alternative-id":["S0960129521000013"],"URL":"https:\/\/doi.org\/10.1017\/s0960129521000013","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"type":"print","value":"0960-1295"},{"type":"electronic","value":"1469-8072"}],"subject":[],"published":{"date-parts":[[2020,10]]},"assertion":[{"value":"\u00a9 The Author(s), 2021. Published by Cambridge University Press","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}]}}