{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,7]],"date-time":"2024-07-07T06:42:01Z","timestamp":1720334521916},"reference-count":37,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/501100006747","name":"Fondazione Cassa di Risparmio di Verona Vicenza Belluno e Ancona","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100006747","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Information Processing Letters"],"published-print":{"date-parts":[[2023,8]]},"DOI":"10.1016\/j.ipl.2023.106403","type":"journal-article","created":{"date-parts":[[2023,5,2]],"date-time":"2023-05-02T14:54:41Z","timestamp":1683039281000},"page":"106403","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Maximal elements with minimal logic"],"prefix":"10.1016","volume":"182","author":[{"ORCID":"http:\/\/orcid.org\/0000-0002-6768-4457","authenticated-orcid":false,"given":"Daniel","family":"Misselbeck-Wessel","sequence":"first","affiliation":[]}],"member":"78","reference":[{"issue":"1\u20133","key":"10.1016\/j.ipl.2023.106403_br0010","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.apal.2005.05.016","article-title":"Aspects of general topology in constructive set theory","volume":"137","author":"Aczel","year":"2006","journal-title":"Ann. Pure Appl. Log."},{"key":"10.1016\/j.ipl.2023.106403_br0020","series-title":"Notes on constructive set theory","author":"Aczel","year":"2000"},{"key":"10.1016\/j.ipl.2023.106403_br0030","author":"Aczel"},{"issue":"4","key":"10.1016\/j.ipl.2023.106403_br0040","doi-asserted-by":"crossref","first-page":"1265","DOI":"10.2307\/2275642","article-title":"Zorn's lemma and complete Boolean algebras in intuitionistic type theories","volume":"62","author":"Bell","year":"1997","journal-title":"J. Symb. Log."},{"key":"10.1016\/j.ipl.2023.106403_br0050","article-title":"Intuitionistic Set Theory","volume":"vol. 50","author":"Bell","year":"2014"},{"issue":"1\u20133","key":"10.1016\/j.ipl.2023.106403_br0060","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/j.apal.2004.01.002","article-title":"Krivine's intuitionistic proof of classical completeness (for countable languages)","volume":"129","author":"Berardi","year":"2004","journal-title":"Ann. Pure Appl. Log."},{"key":"10.1016\/j.ipl.2023.106403_br0070","series-title":"Revolutions and Revelations in Computability. 18th Conference on Computability in Europe, Proceedings","article-title":"Maximal ideals in countable rings, constructively","author":"Blechschmidt","year":"2022"},{"key":"10.1016\/j.ipl.2023.106403_br0080","doi-asserted-by":"crossref","unstructured":"Ingo Blechschmidt, Peter Schuster, Reifying dynamical algebra: maximal ideals in countable rings, constructively, (2023), submitted manuscript.","DOI":"10.1007\/978-3-031-08740-0_3"},{"key":"10.1016\/j.ipl.2023.106403_br0090","series-title":"Handbook of Constructive Mathematics","first-page":"150","article-title":"Constructive algebra and point-free topology","author":"Coquand","year":"2023"},{"key":"10.1016\/j.ipl.2023.106403_br0100","doi-asserted-by":"crossref","first-page":"885","DOI":"10.1017\/S0960129506005627","article-title":"A logical approach to abstract algebra","volume":"16","author":"Coquand","year":"2006","journal-title":"Math. Struct. Comput. Sci."},{"key":"10.1016\/j.ipl.2023.106403_br0110","series-title":"The Stanford Encyclopedia of Philosophy","article-title":"Set theory: constructive and intuitionistic ZF","author":"Crosilla","year":"2019"},{"issue":"10","key":"10.1016\/j.ipl.2023.106403_br0120","doi-asserted-by":"crossref","first-page":"4439","DOI":"10.1090\/proc\/12569","article-title":"On Tarski's fixed point theorem","volume":"143","author":"Curi","year":"2015","journal-title":"Proc. Am. Math. Soc."},{"key":"10.1016\/j.ipl.2023.106403_br0130","series-title":"Mathematics for Computation (M4C)","article-title":"Domain theory and realisability over Scott's D\u221e in constructive set theory","author":"Dihoum","year":"2023"},{"issue":"2","key":"10.1016\/j.ipl.2023.106403_br0140","doi-asserted-by":"crossref","first-page":"315","DOI":"10.2307\/2272068","article-title":"The consistency of classical set theory relative to a set theory with intuitionistic logic","volume":"38","author":"Friedman","year":"1973","journal-title":"J. Symb. Log."},{"key":"10.1016\/j.ipl.2023.106403_br0150","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511542725","article-title":"Continuous Lattices and Domains","author":"Gierz","year":"2003"},{"key":"10.1016\/j.ipl.2023.106403_br0160","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/BF00136118","article-title":"An abstract setting for Henkin proofs","volume":"3","author":"Goldblatt","year":"1984","journal-title":"Topoi"},{"key":"10.1016\/j.ipl.2023.106403_br0170","first-page":"119","article-title":"Der Minimalkalk\u00fcl, ein reduzierter intuitionistischer Formalismus","volume":"4","author":"Johansson","year":"1937","journal-title":"Compos. Math."},{"key":"10.1016\/j.ipl.2023.106403_br0180","article-title":"Stone Spaces","volume":"vol. 3","author":"Johnstone","year":"1982"},{"key":"10.1016\/j.ipl.2023.106403_br0190","article-title":"Sketches of an Elephant: A Topos Theory Compendium, vol. 2","volume":"vol. 44","author":"Johnstone","year":"2002"},{"issue":"4","key":"10.1016\/j.ipl.2023.106403_br0200","doi-asserted-by":"crossref","first-page":"405","DOI":"10.2307\/421172","article-title":"Une preuve formelle et intuitionniste du th\u00e9or\u00e8me de compl\u00e9tude de la logique classique","volume":"2","author":"Krivine","year":"1996","journal-title":"Bull. Symb. Log."},{"key":"10.1016\/j.ipl.2023.106403_br0210","doi-asserted-by":"crossref","first-page":"729","DOI":"10.1007\/BF01454872","article-title":"Idealtheorie in Ringen ohne Endlichkeitsbedingung","volume":"101","author":"Krull","year":"1929","journal-title":"Math. Ann."},{"issue":"5","key":"10.1016\/j.ipl.2023.106403_br0220","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1017\/S0960129597002363","article-title":"Spaces of maximal points","volume":"7","author":"Lawson","year":"1997","journal-title":"Math. Struct. Comput. Sci."},{"key":"10.1016\/j.ipl.2023.106403_br0230","series-title":"Alg\u00e8bre Commutative. M\u00e9thodes Constructives","author":"Lombardi","year":"2021"},{"key":"10.1016\/j.ipl.2023.106403_br0240","article-title":"Closure Spaces and Logic","volume":"vol. 369","author":"Martin","year":"1996"},{"key":"10.1016\/j.ipl.2023.106403_br0250","series-title":"A Course in Constructive Algebra","author":"Mines","year":"1988"},{"key":"10.1016\/j.ipl.2023.106403_br0260","doi-asserted-by":"crossref","DOI":"10.1016\/j.tcs.2022.12.027","article-title":"Radical theory of Scott-open filters","volume":"945","author":"Misselbeck-Wessel","year":"2023","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/j.ipl.2023.106403_br0270","series-title":"Frames and Locales. Topology without Points. Frontiers in Mathematics","author":"Picado","year":"2012"},{"key":"10.1016\/j.ipl.2023.106403_br0280","doi-asserted-by":"crossref","DOI":"10.1016\/j.ic.2021.104761","article-title":"A universal algorithm for Krull's theorem","volume":"287","author":"Powell","year":"2022","journal-title":"Inf. Comput."},{"issue":"2","key":"10.1016\/j.ipl.2023.106403_br0290","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0304-3975(95)00169-7","article-title":"Constructive domain theory as a branch of intuitionistic pointfree topology","volume":"159","author":"Sambin","year":"1996","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/j.ipl.2023.106403_br0300","series-title":"Harvey Friedman's Research on the Foundations of Mathematics","first-page":"257","article-title":"Intuitionistic set theory","volume":"vol. 117","author":"Scedrov","year":"1985"},{"key":"10.1016\/j.ipl.2023.106403_br0310","series-title":"Paul Lorenzen: Mathematician and Logician","first-page":"77","article-title":"Syntax for semantics: Krull's maximal ideal theorem","volume":"vol. 51","author":"Schuster","year":"2021"},{"key":"10.1016\/j.ipl.2023.106403_br0320","series-title":"Proofs and Computations. Perspectives in Logic","author":"Schwichtenberg","year":"2012"},{"key":"10.1016\/j.ipl.2023.106403_br0330","series-title":"Automata, Languages and Programming. ICALP 1982","article-title":"Domains for denotational semantics","volume":"vol. 140","author":"Scott","year":"1982"},{"key":"10.1016\/j.ipl.2023.106403_br0340","article-title":"Injective Modules","volume":"vol. 62","author":"Sharpe","year":"1972"},{"key":"10.1016\/j.ipl.2023.106403_br0350","series-title":"Logic and Structure","author":"van Dalen","year":"2013"},{"key":"10.1016\/j.ipl.2023.106403_br0360","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1016\/j.tcs.2007.10.011","article-title":"Making the use of maximal ideals constructive","volume":"392","author":"Yengui","year":"2008","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/j.ipl.2023.106403_br0370","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":["Information Processing Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020019023000467?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020019023000467?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,5,16]],"date-time":"2023-05-16T20:42:14Z","timestamp":1684269734000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0020019023000467"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8]]},"references-count":37,"alternative-id":["S0020019023000467"],"URL":"https:\/\/doi.org\/10.1016\/j.ipl.2023.106403","relation":{},"ISSN":["0020-0190"],"issn-type":[{"value":"0020-0190","type":"print"}],"subject":[],"published":{"date-parts":[[2023,8]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Maximal elements with minimal logic","name":"articletitle","label":"Article Title"},{"value":"Information Processing Letters","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.ipl.2023.106403","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2023 Elsevier B.V. All rights reserved.","name":"copyright","label":"Copyright"}],"article-number":"106403"}}