CO‐Simple Higher‐Order Indecomposable Isols
From MaRDI portal
Publication:3875924
DOI10.1002/malq.19800261408zbMath0436.03047OpenAlexW2029331201MaRDI QIDQ3875924
Alfred B. Manaster, Jeffery B. Remmel
Publication date: 1980
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19800261408
co-hyper hypersimple setshigher order indecomposable and highly decomposable isolsnon-recursive ordinals
Recursive equivalence types of sets and structures, isols (03D50) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)