Proceedings of the 11th Asian Logic Conference : in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 /

Mostrar otras versiones (1)

The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. It is normally held every three years and rotates among countries in the Asia-Pacific region. The 11th Asian Logic Conference was held at the National University of Singapore, in honor of Professo...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: Asian Logic Conference Singapore
Otros Autores: Chong, C.-T. (Chi-Tat), 1949-, Arai, Toshiyasu
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Singapore ; Hackensack, NJ : World Scientific, ©2012.
Temas:
Logic, Symbolic and mathematical > Congresses.
Computer science > Mathematics > Congresses.
Geometry > Data processing > Congresses.
Mathematics.
Logique symbolique et mathématique > Congrès.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Logic, Symbolic and mathematical
Festschriften
Conference papers and proceedings
Festschriften.
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Provably [symbol] and weakly descending chains / T. Arai
  • Amalgamation, absoluteness, and categoricity / J. Baldwin
  • K-trivials are never continuously random / G. Barmpalias [and others]
  • Limitwise monotonic functions and their applications / R. Downey, A. Kach and D. Turetsky
  • A dichotomy for the Mackey Borel structure / I. Farah
  • On automatic families / S. Jain [and others]
  • Cappable CEA sets and Ramsey's theorem / A. Kach, M. Lerman and R. Solomon
  • Computable Dowd-type generic oracles / M. Kumabe and T. Suzuki
  • Models of long sentences I / G. Sacks
  • A universally free modal logic / S. Yang.

Ejemplares similares