Similar Items: The descriptive set-theoretic complexity of the set of points of continuity of a multi-valued function
- An Extended Set-Theoretic Relational Model for Multi-Valued Attributes
- The Complexity of Infinite Computations In Models of Set Theory
- Closed Sets and Operators thereon: Representations, Computability and Complexity
- Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics
- A Normalizing Intuitionistic Set Theory with Inaccessible Sets
- Representing Continuous Functions between Greatest Fixed Points of Indexed Containers