
Structure and Randomness in Computability and Set Theory
In diesem Band werden einige spannende neue Entwicklungen an der Schnittstelle zwischen Mengenlehre und Berechenbarkeit sowie deren Anwendungen in Algebra, Analysis und Topologie vorgestellt. Dazu gehören effektive Versionen der Borel-Äquivalenz, der Borel-Reduzierbarkeit und der Borel-Determiniertheit. Außerdem geht es um algorithmische Zufälligkeit und Dimension, Ramsey-Mengen und Ramsey-Räume. Viele dieser Themen werden auf dem von der NSF geförderten jährlichen Southeastern Logic Symposium diskutiert.
Inhalt: Grenzen der Kucerea-Gacs-Kodierungsmethode (George Barmpalias und Andrew Lewis-Pye)
Infinitäre Partitionseigenschaften von Summen selektiver Ultrafilter (Andreas Blass)
Semiselektive Koideale und Ramsey-Mengen (Carlos DiPrisco und Leonardo Pacheco)
Survey on Topological Ramsey Spaces Dense in Forcings (Natasha Dobrinen)
Höhere Berechenbarkeit in der Umkehrmathematik der Borel-Determiniertheit (Sherwood Hachtman)
Berechenbarkeit und Definierbarkeit (Valentina Harizanov)
Ein Ramsey-Raum von unendlichen Polyedern und das Zufallspolyeder (Jose G Mijares Palacios und Gabriel Padilla)
Berechenbare Reduzierbarkeit für den Cantor-Raum (Russell G Miller)
Information vs. Dimension - eine algorithmische Perspektive (Jan Reimann)
Leserschaft: Studenten und Forscher, die sich für die Schnittstelle zwischen Mengenlehre und Berechenbarkeit interessieren.