Struttura e casualità nella computabilità e nella teoria degli insiemi

Titolo originale:

Structure and Randomness in Computability and Set Theory

Contenuto del libro:

Questo volume presenta alcuni nuovi ed entusiasmanti sviluppi che si verificano all'interfaccia tra la teoria degli insiemi e la computabilità, nonché le loro applicazioni in algebra, analisi e topologia. Tra questi, le versioni efficaci dell'equivalenza di Borel, della riducibilità di Borel e della determinatezza di Borel. Vengono inoltre trattati la casualità e la dimensione algoritmica, gli insiemi di Ramsey e gli spazi di Ramsey. Molti di questi argomenti vengono discussi nell'annuale Southeastern Logic Symposium, finanziato dalla NSF.

Limiti del metodo di codifica di Kucerea-Gacs (George Barmpalias e Andrew Lewis-Pye).

Proprietà di partizione infinitaria di somme di ultrafiltri selettivi (Andreas Blass)

Coideali semiselettivi e insiemi di Ramsey (Carlos DiPrisco e Leonardo Pacheco)

Indagine sugli spazi Ramsey topologici densi di forzature (Natasha Dobrinen)

Computabilità superiore nella matematica inversa della determinatezza di Borel (Sherwood Hachtman)

Computabilità e definibilità (Valentina Harizanov)

Uno spazio Ramsey di poliedri infiniti e il poliedro casuale (Jose G Mijares Palacios e Gabriel Padilla)

Riducibilità computabile per lo spazio di Cantor (Russell G Miller)

Informazione vs dimensione - una prospettiva algoritmica (Jan Reimann)

Studenti e ricercatori interessati all'interfaccia tra teoria degli insiemi e computabilità.