On co-simple isols and their intersection types

DOI10.1016/0168-0072(92)90074-AzbMath0773.03031MaRDI QIDQ1192351

Theodore A. Slaman, Rodney G. Downey

Publication date: 27 September 1992

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

zbMATH Keywords

intersection typerecursive equivalence typeregressive isolsco- simple

Mathematics Subject Classification ID

Recursive equivalence types of sets and structures, isols (03D50)

Related Items (1)

A Dedekind finite Borel set

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Realizability and recursive set theory
• Forcing, arithmetic, division rings
• Models of arithmetic and recursive functions
• On the intersection of regressive sets
• Diophantine correct non-standard models in the isols
• The minimum of two regressive isols
• Lower Bounds for Pairs of Recursively Enumerable Degrees
• There exist two regressive sets whose intersection is not regressive

This page was built for publication: On co-simple isols and their intersection types