Hierarchies of predicates of finite types / [electronic resource] by D.A. Clarke.
Material type: TextSeries: 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 | ContentsCurrent 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.