Global and local admissibility. II. Major subsets and automorphisms
From MaRDI portal
Publication:1060215
DOI10.1016/0168-0072(83)90027-1zbMath0568.03021MaRDI QIDQ1060215
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
existence; nonexistence; admissible ordinal; effective singularity; effectively singular ordinal; local recursivity
03D60: Computability and recursion theory on ordinals, admissible sets, etc.