Hierarchies of predicates of finite types / [electronic resource] by D.A. Clarke.

By: Clarke, D. A. (Douglas Albert)Material type: TextTextSeries: Memoirs of the American Mathematical Society ; no. 51.Publication details: Providence, R.I. : American Mathematical Society, 1964Description: 1 online resource (95 p.)ISBN: 9780821899960 (online)Subject(s): Number theory | Recursive functionsAdditional physical formats: Hierarchies of predicates of finite types /LOC classification: QA3 | .A57 no. 51Online resources: Contents | Contents
Contents:
Introduction Summary 1. Complete predicates and their degrees 2. The finite hierarchies 3. Transfinite hierarchies 4. Reduction of the definition of $^m_k0^r$ to explicit definition 5. Uniqueness ordinals 6. The case of $^m_k0^r$ etc. when $m = r$ 7. Relatively recursive well orderings
Item type: E-BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Current library Home library Call number Materials specified URL Status Date due Barcode
IMSc Library
IMSc Library
Link to resource Available EBK12504

Includes bibliographical references.

Introduction Summary 1. Complete predicates and their degrees 2. The finite hierarchies 3. Transfinite hierarchies 4. Reduction of the definition of $^m_k0^r$ to explicit definition 5. Uniqueness ordinals 6. The case of $^m_k0^r$ etc. when $m = r$ 7. Relatively recursive well orderings

Access is restricted to licensed institutions

Electronic reproduction. Providence, Rhode Island : American Mathematical Society. 2012

Mode of access : World Wide Web

Description based on print version record.

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha