{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T10:08:26Z","timestamp":1774001306184,"version":"3.50.1"},"reference-count":9,"publisher":"Elsevier BV","issue":"7","license":[{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/501100004063","name":"Knut och Alice Wallenbergs Stiftelse","doi-asserted-by":"publisher","award":["570011622"],"award-info":[{"award-number":["570011622"]}],"id":[{"id":"10.13039\/501100004063","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[2026,7]]},"DOI":"10.1016\/j.apal.2026.103739","type":"journal-article","created":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T16:39:14Z","timestamp":1770741554000},"page":"103739","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"title":["Transcending classical boundaries: Choice and its equivalences"],"prefix":"10.1016","volume":"177","author":[{"given":"Arunavo","family":"Ganguly","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0006-0495-0865","authenticated-orcid":false,"given":"Sourav","family":"Tarafder","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.apal.2026.103739_br0010","article-title":"Set Theory, Boolean-Valued Models and Independence Proofs","volume":"vol. 47","author":"Bell","year":"2005"},{"issue":"1","key":"10.1016\/j.apal.2026.103739_br0020","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1090\/S0002-9939-1975-0373893-X","article-title":"Axiom of choice and complementation","volume":"51","author":"Diaconescu","year":"1975","journal-title":"Proc. Am. Math. Soc."},{"key":"10.1016\/j.apal.2026.103739_br0030","series-title":"Applications of Sheaves, Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra and Analysis Held at the University of Durham","first-page":"402","article-title":"Heyting-valued models for intuitionistic set theory","volume":"vol. 753","author":"Grayson","year":"1979"},{"issue":"6","key":"10.1016\/j.apal.2026.103739_br0040","doi-asserted-by":"crossref","DOI":"10.1016\/j.apal.2024.103427","article-title":"ZF and its interpretations","volume":"175","author":"Jockwich Martinez","year":"2024","journal-title":"Ann. Pure Appl. Log."},{"issue":"1","key":"10.1016\/j.apal.2026.103739_br0050","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1017\/S175502031400046X","article-title":"Generalized algebra-valued models of set theory","volume":"8","author":"L\u00f6we","year":"2015","journal-title":"Rev. Symb. Log."},{"key":"10.1016\/j.apal.2026.103739_br0060","series-title":"Logic and Its Applications, Proceedings of the 6th International Conference","first-page":"195","article-title":"Ordinals in an algebra-valued model of a paraconsistent set theory","volume":"vol. 8923","author":"Tarafder","year":"2015"},{"issue":"1","key":"10.1016\/j.apal.2026.103739_br0070","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1017\/jsl.2021.101","article-title":"Non-classical foundations of set theory","volume":"87","author":"Tarafder","year":"2022","journal-title":"J. Symb. Log."},{"issue":"4","key":"10.1016\/j.apal.2026.103739_br0080","doi-asserted-by":"crossref","first-page":"979","DOI":"10.1017\/S1755020321000095","article-title":"Independence proofs in non-classical set theories","volume":"16","author":"Tarafder","year":"2023","journal-title":"Rev. Symb. Log."},{"key":"10.1016\/j.apal.2026.103739_br0090","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1090\/S0002-9904-1935-06166-X","article-title":"A remark on method in transfinite algebra","volume":"41","author":"Zorn","year":"1935","journal-title":"Bull. Am. Math. Soc."}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007226000229?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007226000229?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T07:19:30Z","timestamp":1773991170000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0168007226000229"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7]]},"references-count":9,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2026,7]]}},"alternative-id":["S0168007226000229"],"URL":"https:\/\/doi.org\/10.1016\/j.apal.2026.103739","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[2026,7]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Transcending classical boundaries: Choice and its equivalences","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.2026.103739","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 Elsevier B.V. All rights are reserved, including those for text and data mining, AI training, and similar technologies.","name":"copyright","label":"Copyright"}],"article-number":"103739"}}