Algebras of Complemented Subsets

Petrakis, Iosif und Wessel, Daniel (2022): Algebras of Complemented Subsets. 18th Conference on Computability in Europe (CiE 2022), Swansea, UK, July 11–15, 2022. Berger, Ulrich; Franklin, Johanna N. Y.; Manea, Florin und Pauly, Arno (Hrsg.): In: Revolutions and Revelations in Computability. 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022, Proceedings, Lecture Notes in Computer Science Bd. 13359 Cham: Springer. S. 246-258

Abstract

Complemented subsets were introduced by Bishop, in order to avoid complementation in terms of negation. In his two approaches to measure theory Bishop used two sets of operations on complemented subsets. Here we study these two algebras and we introduce the notion of Bishop algebra as an abstraction of their common structure. We translate constructively the classical bijection between subsets and boolean-valued functions by establishing a bijection between the proper classes of complemented subsets and of strongly extensional, boolean-valued, partial functions. Avoiding negatively defined concepts, most of our results are within minimal logic.

• Dokumententyp: Konferenzbeitrag (Paper)
• Fakultät: Mathematik, Informatik und Statistik > Informatik
• Themengebiete: 000 Informatik, Informationswissenschaft, allgemeine Werke > 004 Informatik
• ISSN: 0302-9743
• Ort: Cham
• Bemerkung: ISBN 978-3-031-08739-4
• Sprache: Englisch