Pages that link to "Item:Q1082338"
From MaRDI portal
The following pages link to Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction (Q1082338):
Displaying 29 items.
- Categorical characterizations of the natural numbers require primitive recursion (Q476119) (← links)
- The strength of extensionality. II: Weak weak set theories without infinity (Q639665) (← links)
- Algorithmic randomness, reverse mathematics, and the dominated convergence theorem (Q714719) (← links)
- Dickson's lemma and weak Ramsey theory (Q1734268) (← links)
- A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection (Q2111109) (← links)
- Weaker cousins of Ramsey's theorem over a weak base theory (Q2231700) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- Minimal elementary end extensions (Q2402959) (← links)
- Baire categoricity and \(\Sigma_1^0\)-induction (Q2443120) (← links)
- Algebraic disguises of \(\Sigma ^ 0_ 1\) induction (Q2640598) (← links)
- Herbrand analyses (Q2641297) (← links)
- Interpreting Weak König’s Lemma using the Arithmetized Completeness Theorem (Q2814420) (← links)
- The Baire category theorem in weak subsystems of second-order arithmetic (Q3138013) (← links)
- Groundwork for weak analysis (Q3149983) (← links)
- Open Questions in Reverse Mathematics (Q3174640) (← links)
- Combinatorial principles concerning approximations of functions (Q3788005) (← links)
- Ordinal numbers and the Hilbert basis theorem (Q3809796) (← links)
- Forcing in Proof Theory (Q4678943) (← links)
- On the strength of Ramsey's theorem without Σ<sub>1</sub>‐induction (Q4915224) (← links)
- THE BOREL COMPLEXITY OF ISOMORPHISM FOR O-MINIMAL THEORIES (Q4977215) (← links)
- REVERSE MATHEMATICS, YOUNG DIAGRAMS, AND THE ASCENDING CHAIN CONDITION (Q4977220) (← links)
- REFLECTION RANKS AND ORDINAL ANALYSIS (Q5021919) (← links)
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← links)
- PREDICATIVITY THROUGH TRANSFINITE REFLECTION (Q5359565) (← links)
- On mathematical instrumentalism (Q5718688) (← links)
- FINITIST AXIOMATIC TRUTH (Q5879176) (← links)
- Primitive recursive reverse mathematics (Q6050165) (← links)
- HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK? (Q6103456) (← links)
- AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW (Q6140183) (← links)
