Global and local admissibility. II. Major subsets and automorphisms

DOI10.1016/0168-0072(83)90027-1zbMath0568.03021OpenAlexW1999770570MaRDI QIDQ1060215

B. George

Publication date: 1983

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(83)90027-1

zbMATH Keywords

existencenonexistenceadmissible ordinaleffective singularityeffectively singular ordinallocal recursivity

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Major subsets of \(\alpha\)-recursively enumerable sets
• The elementary theory of recursively enumerable sets
• Maximal sets in \(\alpha\)-recursion theory
• Hyperhypersimple supersets in admissible recursion theory
• Splitting an α-Recursively Enumerable Set
• Hyperhypersimple α-r.e. sets
• Types of simple α-recursively enumerable sets
• Types of simple α-recursively enumerable sets
• On the Lattice of Recursively Enumerable Sets
• The α-finite injury method

This page was built for publication: Global and local admissibility. II. Major subsets and automorphisms