Ideals in isols containing a set of regressive isols

DOI10.1007/BF01142645zbMath0743.03033OpenAlexW1967035208MaRDI QIDQ1175483

V. L. Mikheev

Publication date: 25 June 1992

Published in: Mathematical Notes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01142645

zbMATH Keywords

idealisolsNerode extensionregressive isols

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Extensions to isols
• Degrees of unsolvability and strong forms of \(\Lambda_R+\Lambda_R\underset\neq\supset\Lambda_R\)
• The minimum of two regressive isols
• Recursive equivalence types and combinatorial functions
• Recursive density types and Nerode extensions of arithmetic

This page was built for publication: Ideals in isols containing a set of regressive isols