Work

Complete Multi-Representations of Sets in a Computable Measure Space

Year: 2010

Type: article

Abstract: In a recent paper, two multi-representations for the measurable sets in a computable measure space have been introduced, which prove to be topologically complete w.r.t. certain topological properties. In this contribution, we show them recursively complete w.r.t. computability of measure and set-theoretical operations.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.24.20

Author: Yongcheng Wu

Institution: Nanjing University of Information Science and Technology

Language: English

Topic: Computability, Logic, AI Algorithms

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

Funders: Deutsche Forschungsgemeinschaft, Nanjing University of Information Science and Technology

OpenAlex ID: W2076438656

FWCI:

Cites: 16

Cited by:

Related to: 10