Research Catalog
Regressive sets and the theory of isols
- 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
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Use in library | QA9.6 .M34 | 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
- 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