Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008

Guardat en:
Dades bibliogràfiques
Autor corporatiu: Asian Logic Conference Kōbe Daigaku, ebrary, Inc
Altres autors: Arai, T. (Toshiyasu)
Format: Electrònic Actes de congresos eBook
Idioma:anglès
Publicat: Hackensack, NJ : World Scientific, c2010.
Matèries:
Accés en línia:An electronic book accessible through the World Wide Web; click to view
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
Taula de continguts:
  • An application of nonstandard arguments to the study of generic structures / Y. Anbo
  • Constructive geometry / M. Beeson
  • A separation result for varieties of brouwer's fan theorem / J. Berger
  • A term-rewriting characterization of PSPACE / N. Eguchi
  • I-ultrafilters and summable ideals / J. Flaskova
  • Lowness and highness properties for randomness notions / J. Franklin
  • Countable borel equivalence relations, borel reducibility, and orbit equivalence / G. Hjorth
  • A remark on generic structures and the number of countable models / K. Ikeda
  • Geometric simplicity theory / B. Kim
  • Weak weak konig's lemma in construcytion reverse mathematics / T. Nemoto
  • On preservation and reflection of stationary subsets of ... / H. Sakai
  • Turing degrees and the ershov hierarchy / F. Stephan, Y. Yang and L. Yu
  • Weak randomness, genericity and boolean decision trees / T. Suzuki and M. Kumabe
  • A note on multiple inductive definitions / K. Tanaka
  • Isolation in the d.c.e. degrees / G. Wu
  • On II1/1 conservativity for II1/2 theories in second order arithmetic / K. Yokoyama
  • Around rosy CM-trivial theories / I. Yoneda.