Classes Of Polish Spaces Under Effective Borel Isomorphism


Download Classes Of Polish Spaces Under Effective Borel Isomorphism PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Classes Of Polish Spaces Under Effective Borel Isomorphism book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.

Download

Classes of Polish Spaces Under Effective Borel Isomorphism


Classes of Polish Spaces Under Effective Borel Isomorphism

Author: Vassilios Gregoriades

language: en

Publisher: American Mathematical Soc.

Release Date: 2016-03-10


DOWNLOAD





The author studies the equivalence classes under Δ11 isomorphism, otherwise effective Borel isomorphism, between complete separable metric spaces which admit a recursive presentation and he shows the existence of strictly increasing and strictly decreasing sequences as well as of infinite antichains under the natural notion of Δ11-reduction, as opposed to the non-effective case, where only two such classes exist, the one of the Baire space and the one of the naturals.

Classes of Polish Spaces Under Effective Borel Isomorphism


Classes of Polish Spaces Under Effective Borel Isomorphism

Author: Vassilios Gregoriades

language: en

Publisher:

Release Date: 2016


DOWNLOAD





Descriptional Complexity of Formal Systems


Descriptional Complexity of Formal Systems

Author: Michal Hospodár

language: en

Publisher: Springer

Release Date: 2019-07-08


DOWNLOAD





This book constitutes the proceedings of the 21st International Conference on Descriptional Complexity of Format Systems, DCFS 2019, held in Košice, Slovakia, in July 2019. The 18 full papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains 4 invited talks. They deal with all aspects of descriptional complexity and costs of description of objects in various computational models, such as Turing machines, pushdown automata, finite automata, grammars, and others.