Similar Items: Representations of measurable sets in computable measure theory
- Closed Sets and Operators thereon: Representations, Computability and Complexity
- Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory
- The Complexity of Infinite Computations In Models of Set Theory
- Applicable Mathematics in a Minimal Computational Theory of Sets
- Measuring susceptibility: A benchmark for conspiracy theory adherence in large language models
- A Normalizing Intuitionistic Set Theory with Inaccessible Sets