Computational prospects of infinity. Part II, Presented talks /

This volume is a collection of written versions of the talks given at the Workshop on Computational Prospects of Infinity, held at the Institute for Mathematical Sciences from 18 June to 15 August 2005. It consists of contributions from many of the leading experts in recursion theory (computability...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: Workshop on Computational Prospects of Infinity
Otros Autores: Chong, C.-T. (Chi-Tat), 1949-
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Singapore : World Scientific, ©2008.
Colección:Lecture notes series (National University of Singapore. Institute for Mathematical Sciences) ; v. 15.
Temas:
Recursion theory > Congresses.
Set theory > Congresses.
Infinite > Congresses.
Théorie de la récursivité > Congrès.
Théorie des ensembles > Congrès.
Infini > Congrès.
MATHEMATICS > Set Theory.
Infinite
Recursion theory
Set theory
Conference papers and proceedings
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Generating sets for the recursively enumerable turing degrees / Klaus Ambos-Spies, Steffen Lempp and Theodore A. Slaman
  • Coding into H([symbol]), together (or not) with forcing axioms. A survey / David Asperó
  • Nonstandard methods in Ramsey's theorem for pairs / Chi Tat Chong
  • Prompt simplicity, array computability and cupping / Rod Downey [and others]
  • Lowness for computable machines / Rod Downey [and others]
  • A simpler short extenders forcing
  • Gap 3 / Moti Gitik
  • Limit computability and constructive measure / Denis R. Hirschfeldt and Sebastiaan A. Terwijn
  • The strength of some combinatorial principles related to Ramsey's theorem for pairs / Denis R. Hirschfeldt [and others]
  • Absoluteness for universally Baire sets and the Uncountable II / Ilijas Farah [and others]
  • Monadic definability of ordinals / Itay Neeman
  • A cuppable non-bounding degree / Keng Meng Ng
  • Eliminating concepts / André Nies
  • A lower cone in the wtt degrees of non-integral effective dimension / André Nies and Jan Reimann
  • A minimal rK-degree / Alexander Raichev and Frank Stephan
  • Diamonds on [symbol] / Masahiro Shioya
  • Rigidity and biinterpretability in the hyperdegrees / Richard A. Shore
  • Some fundamental issues concerning degrees of unsolvability / Stephen G. Simpson
  • Weak determinacy and iterations of inductive definitions / MedYahya Ould MedSalem and Kazuyuki Tanaka
  • A tt version of the Posner-Robinson theorem / W. Hugh Woodin
  • Cupping computably enumerable degrees in the Ershov hierarchy / Guohua Wu.

Ejemplares similares