9780521635509

Models and Computability

by
  • ISBN13:

    9780521635509

  • ISBN10:

    0521635500

  • Format: Paperback
  • Copyright: 1999-08-13
  • Publisher: Cambridge University Press
  • Purchase Benefits
  • Free Shipping On Orders Over $35!
    Your order must be $35 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
  • Get Rewarded for Ordering Your Textbooks! Enroll Now
List Price: $88.00 Save up to $2.64
  • Buy New
    $85.36
    Add to Cart Free Shipping

    SPECIAL ORDER: 1-2 WEEKS

Supplemental Materials

What is included with this book?

  • The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

Summary

Together, Models and Computability and its sister volume Sets and Proofs will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and interested nonspecialist.

Table of Contents

Continuous Functionals of Dependent and Transfinite Types
1(23)
U. Berger
Degree-Theoretic Aspects of Computably Enumerable Reals
23(18)
C. S. Calude
R. Coles
P. H. Hertling
B. Khoussainov
Simplicity and Independence for Pseudo-Algebraically Closed Fields
41(22)
Z. Chatzidakis
Clockwork or Turing U/universe?-Remarks on Causal Determinism and Computability
63(54)
S. B. Cooper
A Techniques Oriented Survey of Bounded Queries
117(40)
W. Gasarch
F. Stephan
Relative Categoricity in Abelian Groups
157(12)
W. A. Hodges
Computability and Complexity Revisited
169(24)
N. D. Jones
Effective Model Theory: The Number of Models and Their Complexity
193(48)
B. Khoussainov
R. A. Shore
A Survey on Canonical Bases in Simple Theories
241(14)
B. Kim
True Approximations and Models of Arithmetic
255(24)
J. F. Knight
On the Topological Stability Conjecture
279(14)
J. Newelski
A Mahlo-Universe of Effective Domains with Totality
293(20)
D. Normann
Logic and Decision Making
313(26)
D. E. Over
The Sheaf of Locally Definable Scalars over a Ring
339(14)
M. Y. Prest
Human Styles of Quantificational Reasoning
353(14)
L. J. Rips
Recursion Theoretic Memories 1954-1978
367(10)
G. E. Sacks
Fields Definable in Simple Groups
377(12)
K. Tent
A Combinatory Algebra for Sequential Functionals of Finite Type
389(18)
J. Van Oosten
Model Theory of Analytic and Smooth Functions
407
A. J. Wilkie

Rewards Program

Write a Review