Archive for Mathematical Logic 45 (3):365-379 (2006)

We investigate in the frame of TTE the computability of functions of the measurable sets from an infinite computable measure space such as the measure and the four kinds of set operations. We first present a series of undecidability and incomputability results about measurable sets. Then we construct several examples of computable topological spaces from the abstract infinite computable measure space, and analyze the computability of the considered functions via respectively each of the standard representations of the computable topological spaces constructed
Keywords TTE  Computability  Measure  Measurable set  computable topological space
Categories (categorize this paper)
Reprint years 2005, 2006
DOI 10.1007/s00153-005-0315-x
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,379
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

On the Computability of Fractal Dimensions and Hausdorff Measure.Ker-I. Ko - 1998 - Annals of Pure and Applied Logic 93 (1-3):195-216.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Computability of Measurable Sets Via Effective Metrics.Yongcheng Wu & Decheng Ding - 2005 - Mathematical Logic Quarterly 51 (6):543-559.
Order-Computable Sets.Denis Hirschfeldt, Russell Miller & Sergei Podzorov - 2007 - Notre Dame Journal of Formal Logic 48 (3):317-347.
Computing the Topological Entropy of Shifts.Christoph Spandl - 2007 - Mathematical Logic Quarterly 53 (4):493-510.
Quantum Stochastic Models.Stanley Gudder - 1992 - Foundations of Physics 22 (6):839-852.
Uniform Domain Representations of "Lp" -Spaces.Petter K. Køber - 2007 - Mathematical Logic Quarterly 53 (2):180-205.
Computability & Unsolvability.Martin Davis - 1958 - Dover Publications.
Completeness of S4 for the Lebesgue Measure Algebra.Tamar Lando - 2012 - Journal of Philosophical Logic 41 (2):287-316.
Computability and Recursion.Robert I. Soare - 1996 - Bulletin of Symbolic Logic 2 (3):284-321.
Domatic Partitions of Computable Graphs.Matthew Jura, Oscar Levin & Tyler Markkanen - 2014 - Archive for Mathematical Logic 53 (1-2):137-155.
Borel Complexity and Computability of the Hahn–Banach Theorem.Vasco Brattka - 2008 - Archive for Mathematical Logic 46 (7-8):547-564.


Added to PP index

Total views
23 ( #495,364 of 2,519,667 )

Recent downloads (6 months)
1 ( #406,756 of 2,519,667 )

How can I increase my downloads?


My notes