On Higher Effective Descriptive Set Theory
| Autor: | Margarita V. Korovina, Oleg V. Kudinov |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Discrete mathematics
medicine.medical_specialty Class (set theory) 010102 general mathematics 0102 computer and information sciences 01 natural sciences Alpha (programming language) Effective descriptive set theory Morphism 010201 computation theory & mathematics medicine Point (geometry) 0101 mathematics Computable topology Mathematics |
| Zdroj: | Unveiling Dynamics and Complexity Lecture Notes in Computer Science Lecture Notes in Computer Science-Unveiling Dynamics and Complexity Unveiling Dynamics and Complexity ISBN: 9783319587400 CiE |
| ISSN: | 0302-9743 1611-3349 |
| DOI: | 10.1007/978-3-319-58741-7_27 |
| Popis: | In the framework of computable topology, we propose an approach how to develop higher effective descriptive set theory. We introduce a wide class \(\mathbb {K}\) of effective \(T_0\)-spaces admitting Borel point recovering. For this class we propose the notion of an \((\alpha ,m)\)-retractive morphism that gives a great opportunity to extend classical results from EDST to the class \(\mathbb {K}\). We illustrate this by several examples. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|