Pages that link to "Item:Q1295386"
From MaRDI portal
The following pages link to Index sets for \(\Pi^0_1\) classes (Q1295386):
Displayed 7 items.
- Logic programming with infinite sets (Q812390) (← links)
- Effectively closed sets and enumerations (Q926187) (← links)
- Index sets in computable analysis (Q1292400) (← links)
- A rank one cohesive set (Q1332857) (← links)
- Effectively closed sets and graphs of computable real functions. (Q1607292) (← links)
- A connection between the Cantor-Bendixson derivative and the well-founded semantics of finite logic programs (Q1926591) (← links)
- Enumerations of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msubsup><mml:mi mathvariant="normal">Π</mml:mi><mml:mn>1</mml:mn><mml:mn>0</mml:mn></mml:msubsup></mml:math> Classes: Acceptability and Decid (Q4921447) (← links)