Title Hierarchies of predicates of finite types / by D.A. Clarke

Published Providence, R.I. : American Mathematical Society, 1964

Click on the following:
ProQuest Ebook Central

Copies

Description 1 online resource (95 pages) Series Memoirs of the American Mathematical Society ; no. 51 Memoirs of the American Mathematical Society ; no. 51. 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 Notes Cover title Bibliography Includes bibliographical references (pages 93-95) Notes Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL Print version record digitized 2014 HathiTrust Digital Library committed to preserve pda MiAaHDL Subject Recursive functions. Number theory. Number theory Recursive functions Aussage Hierarchie Prädikat Prädikatenlogik Genre/Form Finiter Typus. Form Electronic book ISBN 9780821899960 0821899961

  Permalink