REVERSE MATHEMATICS, YOUNG DIAGRAMS, AND THE ASCENDING CHAIN CONDITION (Q4977220): Difference between revisions

@@ Property / cites work @@
+Orderings of monomial ideals
@@ Property / cites work: Orderings of monomial ideals / rank @@
+Normal rank
@@ Property / cites work @@
+Q5340151
@@ Property / cites work: Q5340151 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3874266
@@ Property / cites work: Q3874266 / rank @@
+Normal rank
@@ Property / cites work @@
+The group algebra of the infinite symmetric group
@@ Property / cites work: The group algebra of the infinite symmetric group / rank @@
+Normal rank
@@ Property / cites work @@
+Q3129746
@@ Property / cites work: Q3129746 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic disguises of \(\Sigma ^ 0_ 1\) induction
+Normal rank
@@ Property / cites work @@
+A note on ordinal numbers and rings of formal power series
+Normal rank
@@ Property / cites work @@
+Categorical characterizations of the natural numbers require primitive recursion
+Normal rank
@@ Property / cites work @@
+Antichains of monomial ideals are finite
@@ Property / cites work: Antichains of monomial ideals are finite / rank @@
+Normal rank
@@ Property / cites work @@
+Q3801541
@@ Property / cites work: Q3801541 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5711893
@@ Property / cites work: Q5711893 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537629
@@ Property / cites work: Q5537629 / rank @@
+Normal rank
@@ Property / cites work @@
+Paul Gordan
@@ Property / cites work: Paul Gordan / rank @@
+Normal rank
@@ Property / cites work @@
+Well quasi-ordered sets and ideals in free semigroups and algebras
+Normal rank
@@ Property / cites work @@
+Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees
+Normal rank
@@ Property / cites work @@
+Free Group Rings
@@ Property / cites work: Free Group Rings / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal numbers and the Hilbert basis theorem
@@ Property / cites work: Ordinal numbers and the Hilbert basis theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Partial realizations of Hilbert's program
@@ Property / cites work: Partial realizations of Hilbert's program / rank @@
+Normal rank
@@ Property / cites work @@
+Q5703752
@@ Property / cites work: Q5703752 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3069633
@@ Property / cites work: Q3069633 / rank @@
+Normal rank
@@ Property / cites work @@
+Baire categoricity and \(\Sigma_1^0\)-induction
@@ Property / cites work: Baire categoricity and \(\Sigma_1^0\)-induction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5178534
@@ Property / cites work: Q5178534 / rank @@
+Normal rank
@@ Property / cites work @@
+TOWARD OBJECTIVITY IN MATHEMATICS
@@ Property / cites work: TOWARD OBJECTIVITY IN MATHEMATICS / rank @@
+Normal rank
@@ Property / cites work @@
+Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction
+Normal rank
@@ Property / cites work @@
+Reverse mathematics and Peano categoricity
@@ Property / cites work: Reverse mathematics and Peano categoricity / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789551
@@ Property / cites work: Q3789551 / rank @@
+Normal rank
@@ Property / cites work @@
+On the strength of Ramsey's theorem without Σ<sub>1</sub>‐induction
+Normal rank