Pages that link to "Item:Q4198744"

The following pages link to Hyperarithmetically Encodable Sets (Q4198744):

Displaying 23 items.

• Genericity for Mathias forcing over general Turing ideals (Q503254) (← links)
• \({\Pi^1_2}\)-comprehension and the property of Ramsey (Q1016505) (← links)
• A dual form of Ramsey's theorem (Q1057862) (← links)
• The Galvin-Prikry theorem and set existence axioms (Q1117221) (← links)
• On needed reals (Q1885646) (← links)
• A complexity problem for Borel graphs (Q2238048) (← links)
• A reducibility related to being hyperimmune-free (Q2349101) (← links)
• Dominating the Erdős-Moser theorem in reverse mathematics (Q2400499) (← links)
• Canonical forms of shift-invariant maps on \([\mathbb N]^{\infty}\) (Q2501559) (← links)
• Borel extractions of converging sequences in compact sets of Borel functions (Q2518765) (← links)
• Ramsey’s theorem for singletons and strong computable reducibility (Q2951171) (← links)
• Some Questions in Computable Mathematics (Q2973717) (← links)
• Effective properties in compact sets of Borel functions (Q3787116) (← links)
• Fraïssé’s conjecture in Π11-comprehension (Q4596662) (← links)
• BASES AND BOREL SELECTORS FOR TALL FAMILIES (Q4628686) (← links)
• THE OPEN AND CLOPEN RAMSEY THEOREMS IN THE WEIHRAUCH LATTICE (Q5000272) (← links)
• RAMSEY-LIKE THEOREMS AND MODULI OF COMPUTATION (Q5070463) (← links)
• Computing sets from all infinite subsets (Q5158110) (← links)
• Thin set theorems and cone avoidance (Q5218249) (← links)
• Lawvere-Tierney topologies for computability theorists (Q5875936) (← links)
• Needed reals and recursion in generic reals (Q5940146) (← links)
• Tall 𝐹_{𝜎} subideals of tall analytic ideals (Q6106072) (← links)
• The coding power of a product of partitions (Q6165184) (← links)