Complemented subsets and Boolean-valued, partial functions

DOI10.3233/COM-230462MaRDI QIDQ7020817zbMATH OpenFDO

Authors Daniel Misselbeck-Wessel, Iosif Petrakis

Publication date 3 March 2025

Published in Computability (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/COM-230462

zbMATH Keywords

Bishop set theorycomplemented subsetsconstructive mathematicspartial functionsswap algebras

Mathematics Subject Classification ID

Computability and recursion theory (03Dxx)

Cites work

Cited in

(3)

• Boolean rigs
• Strong negation in the theory of computable functionals TCF
• A predicative approach to the constructive integration theory of locally compact metric spaces

This page was built for publication: Complemented subsets and Boolean-valued, partial functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7020817)