Home Browse by Subject Bestsellers New Titles Editor's Choice New Reviews Textbooks
Search Book Series Study Guides Rights Inspection Copy Contact Us Join Our Mailing List
For Authors How to Order E-Catalogues

Browse all Subjects
Search Bookshop
New Titles
Editor's Choice
Bestsellers
Book Series
Textbooks
Journals
Join Our Mailing List
 
World Scientific Series in 20th Century Mathematics - Vol. 6

SELECTED LOGIC PAPERS

by Gerald E Sacks (Harvard University & Massachusetts Institute of Technology)

The author selects 23 of his papers in mathematical logic that pursue definability via priority, forcing, compactness and fine structure applied to classical recursion, hyperarithmetic sets, recursion in objects of finite type, measure, models and E-recursion. His general introduction provides a chronology both personal and technical.


Contents:

  • On the Degrees Less Than 0'
  • Recursive Enumerability and the Jump Operator
  • The Recursively Enumerable Degrees are Dense
  • A Simple Set Which is Not Effectively Simple
  • Metarecursive Sets (with G Kreisel)
  • Post's Problem, Admissible Ordinals, and Regularity
  • On a Theorem of Lachlan and Martin
  • A Minimal Hyperdegree (with R O Gandy)
  • Measure-Theoretic Uniformity in Recursion Theory and Set Theory
  • Recursion in Objects of Finite Type
  • Forcing with Perfect Closed Sets
  • The a-Finite Injury Method (with S G Simpson)
  • The 1-Section of a Type n Object
  • Remarks Against Foundational Activity
  • Countable Admissible Ordinals and Hyperdegrees
  • The k-Section of a Type n Object
  • Effective Bounds on Morley Rank
  • Post's Problem, Absoluteness and Recursion in Finite Types
  • On the Number of Countable Models
  • Post's Problem in E-Recursion
  • The Limits of E-Recursive Enumerability
  • Inadmissible Forcing (with T A Slaman)
  • Effective Forcing Versus Proper Forcing


Readership: Mathematical logicians and computer scientists.


"... this volume, together with Sacks' monograph on the subject, will be a useful source of information to those who want to bring life to the subject again."

Mathematical Reviews




452pp Pub. date: Jul 1999
ISBN 978-981-02-3267-2
981-02-3267-5
US$90 / £56


Copyright © 2008 World Scientific Publishing Co. All rights reserved.
Updated on 10 October 2008