Can I read Selected Logic Papers (World Scientific Series on 20th Century Mathematics, Volume 6) on EtoBox?

Selected Logic Papers (World Scientific Series on 20th Century Mathematics, Volume 6) by Gerald E. Sacks is a nonfiction available to read on EtoBox.

What is Selected Logic Papers (World Scientific Series on 20th Century Mathematics, Volume 6) about?

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

Who reads Selected Logic Papers (World Scientific Series on 20th Century Mathematics, Volume 6)?

Author

Gerald E. Sacks

Publisher

World Scientific Publishing Company

Published

1999

Language

EN

ISBN

9789812812926

Category

nonfiction

Subjects

Computer Science, Mathematics, Hardware