Pages that link to "Item:Q926187"

The following pages link to Effectively closed sets and enumerations (Q926187):

Displaying 17 items.

• Turing degrees of multidimensional SFTs (Q393140) (← links)
• Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes (Q409326) (← links)
• Uniquely universal sets (Q439301) (← links)
• Effectively closed sets and enumerations (Q926187) (← links)
• Continuity of capping in \(\mathcal C_{\text{bT}}\) (Q947265) (← links)
• Some effectively infinite classes of enumerations (Q1210351) (← links)
• Effectively infinite classes of enumerations (Q1920071) (← links)
• Enumeration of support-closed subsets in confluent systems (Q2134743) (← links)
• Computable symbolic dynamics (Q3528142) (← links)
• Numberings and Randomness (Q3576037) (← links)
• <i>Π</i>₀¹-classes and Rado's selection principle (Q3984442) (← links)
• Degrees containing members of thin Π10 classes are dense and co-dense (Q4565754) (← links)
• Computable elements and functions in effectively enumerable topological spaces (Q4593240) (← links)
• A Friedberg enumeration of equivalence structures (Q4596664) (← links)
• Effectively closed subgroups of the infinite symmetric group (Q4691363) (← links)
• Effective Symbolic Dynamics (Q4918032) (← 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)