Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Models and Computability > True Approximations and Models of Arithmetic
Models and Computability |
S. Barry Cooper; John K. Truss
Cambridge University Press
Models and Computability
True Approximations and Models of Arithmetic
Authors

Julia F. Knight

ARI Id

1667200272282_10098891

Access

Not Available Free

Pages

255-278

Chapter URL

https://www.cambridge.org/core/books/models-and-computability/true-approximations-and-models-of-arithmetic/583D4807193EB30CC9C040EE9A8CFF84

Table of Contents of Book
Showing 1 to 20 of 22 entries
Chapters/HeadingsAuthor(s)PagesInfo
Frontmatter
i-iv
Contents
v-vi
Preface
S. Barry Cooper; John K. Truss
vii-x
Continuous Functionals of Dependent and Transfinite Types
Ulrich Berger
1-22
Degree-Theoretic Aspects of Computably Enumerable Reals
Cristian S. Calude; Richard Coles; Peter H. Hertling; Bakhadyr Khoussainov
23-40
Simplicity and Independence for Pseudo-Algebraically Closed Fields
Zoé Chatzidakis
41-62
Clockwork or Turing U/universe? - Remarks on Causal Determinism and Computability
S. Barry Cooper
63-116
A Techniques Oriented Survey of Bounded Queries
William Gasarch; Frank Stephan
117-156
Relative Categoricity in Abelian Groups
Wilfrid Hodges
157-168
Computability and Complexity Revisited
Neil D. Jones
169-192
Effective Model Theory: The Number of Models and Their Complexity
Bakhadyr Khoussainov; Richard A. Shore
193-240
A Survey on Canonical Bases in Simple Theories
Byunghan Kim
241-254
True Approximations and Models of Arithmetic
Julia F. Knight
255-278
On the Topological Stability Conjecture
Ludomir Newelski
279-292
A Mahlo-Universe of Effective Domains with Totality
Dag Normann
293-312
Logic and Decision Making
David E. Over
313-338
The Sheaf of Locally Definable Scalars over a Ring
Mike Prest
339-352
Human Styles of Quantificational Reasoning
Lance J. Rips
353-366
Recursion Theoretic Memories 1954–1978
Gerald E. Sacks
367-376
Fields Definable in Simple Groups
Katrin Tent
377-388
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 22 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings