Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
Uloženo v:
| Korporace: | , |
|---|---|
| Další autoři: | |
| Médium: | Elektronický zdroj Konferenční příspěvek E-kniha |
| Jazyk: | angličtina |
| Vydáno: |
Hackensack, NJ :
World Scientific,
c2010.
|
| Témata: | |
| On-line přístup: | An electronic book accessible through the World Wide Web; click to view |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Obsah:
- 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.