The Notre Dame lectures : lecture notes in logic, 18 /

Bibliographic Details
Corporate Authors: Taylor & Francis, Taylor and Francis
Other Authors: Cholak, Peter, 1962- (Editor)
Format: eBook
Language:English
Published: Boca Raton, FL : A K Peters/CRC Press, an imprint of Taylor and Francis, 2005.
Edition:First edition.
Subjects:
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • chapter 1 Countable models and the theory of Borel equivalence relations Greg Hjorth
  • chapter 2 Borelsets
  • chapter 3 Borel equivalence relations
  • chapter 4 Infinitary logic
  • chapter 5 Scott's analysis
  • chapter 6 Glimm-Effros
  • chapter 7 Final theorem
  • chapter 8 More reading
  • chapter REFERENCES
  • chapter Index for Countable models and the theory of Borel equivalence relations
  • chapter 1 Introduction
  • chapter 2 Definitions, preliminary results
  • chapter 3 The theory ACFA
  • chapter 4 σ-closed sets, independence, and SU-rank
  • chapter 5 Study of the fixed field
  • chapter 6 Orthogonality and modularity
  • chapter 7 Groups, generic types, stabilizers
  • chapter 8 General results about models of ACFA
  • chapter Index for Model theory of difference fields
  • chapter 1 Introduction / Rodney G. Downey
  • chapter 2 Reals, computable or otherwise
  • chapter 3 Other classes of reals
  • chapter 4 Degree-theoretical aspects of representations
  • chapter 5 Presentations of reals
  • chapter 6 Kolmogorov complexity
  • chapter 7 Prefix-free complexity
  • chapter 8 Complexity of reals
  • chapter 9 Relative randomness
  • chapter 10 The structure of Solovay degrees of c.e. reals
  • chapter 11 Other measures of relative randomness
  • chapter 12 ≤K, ≤c, and ≤T
  • chapter 13 Other areas
  • chapter REFERENCES
  • chapter Index for Some computability-theoretic aspects of reals and randomness
  • chapter 1 Introduction
  • chapter 2 Open induction
  • chapter 3 Bounded induction
  • chapter 4 Exponentiation
  • chapter 5 McAloon's theorem
  • chapter 6 Pigeonhole principle
  • chapter 7 Chebyshev's theorem
  • chapter 8 Pell equations
  • chapter 9 Residue fields.