Techniques of admissible recursion theory

zbMath0566.03028MaRDI QIDQ1059069

J. Blot

Publication date: 1984

Published in: Lecture Notes in Mathematics (Search for Journal in Brave)

zbMATH Keywords

ordinal recursion theory; alpha recursion; priority argument; admissible ordinal; admissible structures; generalized recursion theory

Mathematics Subject Classification ID

03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03D60: Computability and recursion theory on ordinals, admissible sets, etc.

Related Items

Tabular degrees in \(\alpha\)-recursion theory