Research Catalog

Title

Regressive sets and the theory of isols / Thomas G. McLaughlin.

Author

McLaughlin, Thomas G.

Publication

• New York : Marcel Dekker, [1982]
• ©1982

Items in the Library & Off-site

Details

Description

vi, 371 pages : illustrations; 26 cm

Summary

Regressive sets and the theory of isols brings together, in a single convenient source, a substantial, representative sampling of available recursion-theoretic and algebraic material on isols and offers several recent theorems about regressive sets and isols that have not been published elsewhere. The only systematic, comprehensivetreatmentt specifically on isol theory, this important volume focuses initially on the recursion-theoretic properties of the sets belonging to an isol ... details the algebra of isols, building gradually from ad hoc constructions through an increasingly potent hierarchy of "metatheorems" ... providessnumerouss open problems concerningisols andd their representatives. Algebraisits, combinatorists, set theorems, computer scientists, and students studying the topic will clearly find Regressive sets and the theory of isols the ideal research source for their own work with isols and related parts of recursion theory

Series Statement

Lecture notes in pure and applied mathematics ; v. 66

Uniform Title

Lecture notes in pure and applied mathematics ; v. 66.

Subject

• Recursion theory
• Isols
• Set theory
• Récursivité, Théorie de la
• Théorie des ensembles

Note

• Includes index.

Bibliography (note)

• Includes bibliographical references and index.

Contents

Preliminaries -- Regressive and retraceable sets -- Regressive and retraceable isols -- Rate of growth of representatives -- Regressive isols and degrees of unsolvability -- Unions of isolated regressive sets -- Intersections -- Unit intervals of <^~R, ≤*> -- Partial recursive trees and some results related to Königs Lemma -- Speeding up the branches of a retracing tree -- Combinatorial functions and frame extension -- Fundamental nerode metatheorem -- Isolically-indexed sums and products -- Min (X, Y) -- Barback's theorem -- Embeddings of posets in subclasses in ^~R -- Universal and strongly universal isols -- Self-mappings of ^ and ^~R -- Arithmetic in subrings and pre-subrings of ^~* -- First-order isolic theories.

ISBN

• 0824713370
• 9780824713379

LCCN

82005115

OCLC

• ocm08389394
• 8389394
• SCSB-37699

Owning Institutions

Princeton University Library