Pages that link to "Item:Q5659493"

The following pages link to Class groups of integral group rings (Q5659493):

Displaying 50 items.

• On the projective class group of arithmetic groups (Q1835986) (← links)
• On the strength of Ramsey's theorem for pairs (Q2732267) (← links)
• COMPARING THE STRENGTH OF DIAGONALLY NONRECURSIVE FUNCTIONS IN THE ABSENCE OF INDUCTION (Q2795915) (← links)
• Rainbow Ramsey Theorem for Triples is Strictly Weaker than the Arithmetical Comprehension Axiom (Q2869903) (← links)
• A Survey of Mučnik and Medvedev Degrees (Q2893281) (← links)
• Jump inversions inside effectively closed sets and applications to randomness (Q3011117) (← links)
• Expansions of models and turing degrees (Q3043119) (← links)
• The Baire category theorem in weak subsystems of second-order arithmetic (Q3138013) (← links)
• Reverse Mathematics: The Playground of Logic (Q3163663) (← links)
• Open Questions in Reverse Mathematics (Q3174640) (← links)
• Partition Theorems and Computability Theory (Q3370615) (← links)
• Mass Problems and Randomness (Q3370625) (← links)
• Uniform almost everywhere domination (Q3410690) (← links)
• Calibrating Randomness (Q3412463) (← links)
• European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987 (Q3476783) (← links)
• On recursion theory in <i>IΣ</i>₁ (Q3481685) (← links)
• Reverse mathematics, computability, and partitions of trees (Q3616350) (← links)
• Finding paths through narrow and wide trees (Q3616357) (← links)
• Degrees of rigidity for Souslin trees (Q3630573) (← links)
• Low upper bounds of ideals (Q3630577) (← links)
• Ramsey's theorem and cone avoidance (Q3630579) (← links)
• Promptness does not imply superlow cuppability (Q3655255) (← links)
• The strength of the rainbow Ramsey Theorem (Q3655258) (← links)
• <i>d</i>-computable categoricity for algebraic fields (Q3655259) (← links)
• Two theorems on degrees of models of true arithmetic (Q3697017) (← links)
• Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations? (Q3708798) (← links)
• Degrees coded in jumps of orderings (Q3770517) (← links)
• Meeting of the Association for Symbolic Logic, New York, 1979 (Q3902980) (← links)
• European Summer Meeting of the Association for Symbolic Logic, Leeds, 1979 (Q3902981) (← links)
• Two-dimensional partial orderings: Recursive model theory (Q3921203) (← links)
• Model companions of distributive <i>p</i>-algebras (Q3956921) (← links)
• <i>Π</i>₀¹-classes and Rado's selection principle (Q3984442) (← links)
• Projective class groups of symmetric and alternating groups (Q4092165) (← links)
• On the ranked points of a <i>Π₁⁰</i> set (Q4207893) (← links)
• Ordered Groups: A Case Study in Reverse Mathematics (Q4254643) (← links)
• Transfering saturation, the finite cover property, and stability (Q4262576) (← links)
• On the number of automorphisms of uncountable models (Q4283074) (← links)
• Effective versions of Ramsey's Theorem: Avoiding the cone above <b>0′</b> (Q4323045) (← links)
• Encodability of Kleene's <i>O</i> (Q4404868) (← links)
• 2000 Annual Meeting of the Association for Symbolic Logic (Q4527937) (← links)
• Forcing in Proof Theory (Q4678943) (← links)
• Π₁⁰ classes and Boolean combinations of recursively enumerable sets (Q4774032) (← links)
• Degree theoretic definitions of the low₂ recursively enumerable sets (Q4858813) (← links)
• The importance of Π₁⁰ classes in effective randomness (Q5190208) (← links)
• Degree spectra of prime models (Q5311733) (← links)
• Degrees of unsolvability of continuous functions (Q5311741) (← links)
• Π₁⁰ classes and strong degree spectra of relations (Q5422314) (← links)
• Complexity, decidability and completeness (Q5480615) (← links)
• Enumerations of the Kolmogorov function (Q5480623) (← links)
• Π₁⁰ classes with complex elements (Q5502821) (← links)