Models and computability invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
| Автор-организация: | Logic Colloquium Leeds, England), Association for Symbolic Logic. |
|---|---|
| Други автори: | Cooper, S. B., Truss, J. K. |
| Формат: | Електронен |
| Език: | English |
| Публикувано: |
Cambridge ; New York :
Cambridge University Press,
1999.
|
| Серия: |
London Mathematical Society lecture note series ;
259. |
| Предмети: | |
| Онлайн достъп: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=552643 |
| Подобни документи: |
Print version::
Models and computability. |
Съдържание:
- Continuous functionals of dependent and transfinite types /
- U. Berger
- Degree-theoretic aspects of computably enumerable reals /
- C.S. Calude [and others]
- Simplicity and independence for pseudo-algebraically closed fields /
- Z. Chatzidakis
- Clockwork or turing U/universe?
- remarks on causal determinism and computability /
- S.B. Cooper
- Techniques oriented survey of bounded queries /
- W. Gasarch and F. Stephan
- Relative categoricity in abelian groups /
- W.A. Hodges
- Computability and complexity revisited /
- N.D. Jones
- Effective model theory : the number of models and their complexity /
- B. Khoussainov and R.A. Shore
- Survey on canonical bases in simple theories /
- B. Kim
- True approximations and models of arithmetic /
- J.F. Knight
- On the topological stability conjecture /
- L. Newelski
- Mahlo-universe of effective domains with totality /
- D. Normann
- Logic and decision making /
- D.E. Over
- Sheaf of locally definable scalars over a ring /
- M.Y. Prest
- Human styles of quantificational reasoning /
- L.J. Rips
- Recursion theoretic memories 1954-1978 /
- G.E. Sacks
- Fields definable in simple groups /
- K. Tent
- Combinatory algebra for sequential functionals of finite type /
- J. Van Oosten
- Model theory of analytic and smooth functions /
- A.J. Wilkie.