Intrinsically II Relations

DOI10.1002/MALQ.19960420110zbMath0845.03021OpenAlexW2099093469MaRDI QIDQ4868245

Ivan N. Soskov

Publication date: 9 September 1996

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19960420110

zbMATH Keywords

forcingenumerationsinductive definabilitySuslin-Kleene theoremabstract recursioncountable abstract structureshyperelementary setsordinals of inductive sets

Mathematics Subject Classification ID

Inductive definability (03D70) Abstract and axiomatic computability and recursion theory (03D75)

Related Items (2)

Π₁¹ relations and paths through ⋮ Preserving categoricity and complexity of relations

Cites Work

• Unnamed Item
• Elementary induction on abstract structures

This page was built for publication: Intrinsically II Relations