Pages that link to "Item:Q1063594"

The following pages link to Addendum to ``Countable algebra and set existence axioms'' (Q1063594):

Displaying 13 items.

• Infinite dimensional proper subspaces of computable vector spaces (Q402446) (← links)
• Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction (Q1082338) (← links)
• The Galvin-Prikry theorem and set existence axioms (Q1117221) (← links)
• Borel quasi-orderings in subsystems of second-order arithmetic (Q1182484) (← links)
• Hyperarithmetical relations in expansions of recursive structures (Q1315834) (← links)
• The computability, definability, and proof theory of Artinian rings (Q1628418) (← links)
• \(\text{WKL}_ 0\) and Stone's separation theorem for convex sets (Q1919533) (← links)
• The complexity of module radicals (Q1982020) (← links)
• Periodic points and subsystems of second-order arithmetic (Q2367412) (← links)
• Ideals in computable rings (Q2456205) (← links)
• On the complexity of radicals in noncommutative rings (Q2655033) (← links)
• Reverse Mathematics of Matroids (Q2970956) (← links)
• Chain conditions in computable rings (Q3065750) (← links)