Book Review: Recursion-theoretic hierarchies
نویسندگان
چکیده
منابع مشابه
Relating Automata-Theoretic Hierarchies to Complexity-Theoretic Hierarchies
We show that some natural re nements of the Straubing and Brzozowski hierarchies correspond (via the so called leaf-languages) step by step to similar re nements of the polynomial-time hierarchy. This extends a result of H.-J. Burtschik and H. Vollmer on relationship between the Straubing and the polynomial hierarchies. In particular, this applies to the boolean hierarchy and the plus{hierarchy.
متن کاملRecursion-Theoretic Ranking and Compression
For which sets A does there exist a mapping, computed by a total or partial recursive function, such that the mapping, when its domain is restricted to A, is a 1-to-1, onto mapping to Σ * ? And for which sets A does there exist such a mapping that respects the lexicographical ordering within A? Both cases are types of perfect, minimal hash functions. The complexity-theoretic versions of these n...
متن کاملITCH: Information-Theoretic Cluster Hierarchies
Hierarchical clustering methods are widely used in various scientific domains such as molecular biology, medicine, economy, etc. Despite the maturity of the research field of hierarchical clustering, we have identified the following four goals which are not yet fully satisfied by previous methods: First, to guide the hierarchical clustering algorithm to identify only meaningful and valid cluste...
متن کاملA Recursion-theoretic Characterization of Constructible Reals
Let Ly denote Godel's constructive universe up to level y. A countable ordinal y is said to be an index if Ly+1 contains a real not in L r The notion was introduced by Boolos and Putnam [1] who also initiated the study (from the recursion-theoretic viewpoint) of what is known today as " the fine structure of L". In the set-theoretic context, Jensen [3] later extended their results to all levels...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1980
ISSN: 0273-0979
DOI: 10.1090/s0273-0979-1980-14714-x