{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T08:05:49Z","timestamp":1762761949680,"version":"3.44.0"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031087394"},{"type":"electronic","value":"9783031087400"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-08740-0_21","type":"book-chapter","created":{"date-parts":[[2022,6,25]],"date-time":"2022-06-25T14:33:51Z","timestamp":1656167631000},"page":"246-258","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Algebras of Complemented Subsets"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4121-7455","authenticated-orcid":false,"given":"Iosif","family":"Petrakis","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6768-4457","authenticated-orcid":false,"given":"Daniel","family":"Wessel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,6,26]]},"reference":[{"key":"21_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-68952-9","volume-title":"Foundations of Constructive Mathematics, Ergebnisse der Mathematik und ihrer Grenzgebiete","author":"MJ Beeson","year":"1985","unstructured":"Beeson, M.J.: Foundations of Constructive Mathematics, Ergebnisse der Mathematik und ihrer Grenzgebiete. Springer, Heidelberg (1985)"},{"key":"21_CR2","volume-title":"Foundations of Constructive Analysis","author":"E Bishop","year":"1967","unstructured":"Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Bishop, E., Cheng, H.: Constructive measure theory. Mem. Amer. Math. Soc. 116 (1972)","DOI":"10.1090\/memo\/0116"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Bishop, E., Bridges, D.S.: Constructive Analysis. Grundlehren der Mathematischen Wissenschaften. Springer, Heidelberg (1985)","DOI":"10.1007\/978-3-642-61667-9"},{"key":"21_CR5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511565663","volume-title":"Varieties of Constructive Mathematics","author":"DS Bridges","year":"1987","unstructured":"Bridges, D.S., Richman, F.: Varieties of Constructive Mathematics. Cambridge University Press, Cambridge (1987)"},{"issue":"11","key":"21_CR6","doi-asserted-by":"publisher","first-page":"1988","DOI":"10.1016\/j.jpaa.2010.02.002","volume":"214","author":"F Ciraulo","year":"2010","unstructured":"Ciraulo, F., Sambin, G.: The overlap algebra of regular opens. J. Pure Appl. Algebra 214(11), 1988\u20131995 (2010)","journal-title":"J. Pure Appl. Algebra"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Ciraulo, F., Contente, M.: Overlap algebras: a constructive look at complete Boolean algebras. Log. Methods Comput. Sci. 16(1), 13:1\u201313:15 (2020)","DOI":"10.23638\/LMCS-16(1:13)2020"},{"key":"21_CR8","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1007\/s001530100123","volume":"41","author":"T Coquand","year":"2002","unstructured":"Coquand, T., Palmgren, E.: Metric Boolean algebras and constructive measure theory. Arch. Math. Logic 41, 687\u2013704 (2002)","journal-title":"Arch. Math. Logic"},{"key":"21_CR9","unstructured":"Coquand, T.: Universe of Bishop sets. Manuscript (2017)"},{"key":"21_CR10","first-page":"675","volume":"8","author":"GF Griss","year":"1946","unstructured":"Griss, G.F.: Negationless intuitionistic mathematics I. Indag. Math. 8, 675\u2013681 (1946)","journal-title":"Indag. Math."},{"key":"21_CR11","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1090\/S0002-9947-1958-0095135-X","volume":"87","author":"JA Kalman","year":"1958","unstructured":"Kalman, J.A.: Lattices with involution. Trans. Amer. Math. Soc. 87, 485\u2013491 (1958)","journal-title":"Trans. Amer. Math. Soc."},{"issue":"2","key":"21_CR12","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/s11225-017-9745-9","volume":"106","author":"A Ledda","year":"2017","unstructured":"Ledda, A.: Stone-type representations and dualities for varieties of bisemilattices. Stud. Logica. 106(2), 417\u2013448 (2017). https:\/\/doi.org\/10.1007\/s11225-017-9745-9","journal-title":"Stud. Logica."},{"key":"21_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8640-5","volume-title":"A Course in Constructive Algebra","author":"R Mines","year":"1988","unstructured":"Mines, R., Richman, F., Ruitenburg, W.: A Course in Constructive Algebra. Springer, New York (1988). https:\/\/doi.org\/10.1007\/978-1-4419-8640-5"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Martin-L\u00f6f, P.: An intuitionistic theory of types: predicative part. In: Rose, H.E., Shepherdson, J.C. (eds.) Logic Colloquium 1973, Proceedings of the Logic Colloquium. Studies in Logic and the Foundations of Mathematics, vol. 80, pp. 73\u2013118. North-Holland (1975)","DOI":"10.1016\/S0049-237X(08)71945-1"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Martin-L\u00f6f, P.: An intuitionistic theory of types. In: Sambin, G., Smith, J.M. (eds.) Twenty-Five Years of Constructive Type Theory (Venice, 1995). Oxford Logic Guides, vo. 36, pp. 127\u2013172. Oxford University Press (1998)","DOI":"10.1093\/oso\/9780198501275.003.0010"},{"key":"21_CR16","doi-asserted-by":"publisher","first-page":"1384","DOI":"10.1016\/j.apal.2012.01.011","volume":"163","author":"E Palmgren","year":"2012","unstructured":"Palmgren, E.: Constructivist and structuralist foundations: Bishop\u2019s and Lawvere\u2019s theories of sets. Ann. Pure Appl. Log. 163, 1384\u20131399 (2012)","journal-title":"Ann. Pure Appl. Log."},{"issue":"3","key":"21_CR17","first-page":"25","volume":"10","author":"E Palmgren","year":"2014","unstructured":"Palmgren, E., Wilander, O.: Constructing categories and setoids of setoids in type theory. Log. Methods Comput. Sci. 10(3), 25 (2014)","journal-title":"Log. Methods Comput. Sci."},{"key":"21_CR18","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/s00153-016-0514-7","volume":"56","author":"E Palmgren","year":"2017","unstructured":"Palmgren, E.: Constructions of categories of setoids from proof-irrelevant families. Arch. Math. Log. 56, 51\u201366 (2017)","journal-title":"Arch. Math. Log."},{"key":"21_CR19","unstructured":"Petrakis, I.: Constructive topology of Bishop spaces. Ph.D. Thesis, LMU Munich (2015)"},{"key":"21_CR20","unstructured":"Petrakis, I.: Families of sets in Bishop set theory. Habilitationsschrift, LMU, Munich (2020). https:\/\/www.mathematik.uni-muenchen.de\/~petrakis\/"},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"Petrakis, I.: Embeddings of Bishop spaces. J. Log. Comput. exaa015 (2020). https:\/\/doi.org\/10.1093\/logcom\/exaa015","DOI":"10.1093\/logcom\/exaa015"},{"key":"21_CR22","doi-asserted-by":"crossref","unstructured":"Petrakis, I.: Direct spectra of Bishop spaces and their limits. Log. Methods Comput. Sci. 17(2), 4:1\u20134:50 (2021)","DOI":"10.23638\/LMCS-17(2:4)2021"},{"key":"21_CR23","unstructured":"Petrakis, I.: Chu representations of categories related to constructive mathematics. arXiv:2106.01878v1 (2021)"},{"key":"21_CR24","unstructured":"Petrakis, I.: Bases of pseudocompact Bishop spaces. In: Bridges, D.S., et al. (eds.) Handbook of Constructive Mathematics. Cambridge University Press (2022)"},{"key":"21_CR25","unstructured":"Shulman, M.: Affine logic for constructive mathematics. arXiv:1805.07518v2 (2021)"}],"container-title":["Lecture Notes in Computer Science","Revolutions and Revelations in Computability"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-08740-0_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,5]],"date-time":"2025-09-05T17:11:14Z","timestamp":1757092274000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-08740-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031087394","9783031087400"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-08740-0_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"26 June 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CiE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Conference on Computability in Europe","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Swansea","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 July 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 July 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cie2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cs.swansea.ac.uk\/cie2022\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}