The following pages link to (Q3778748):
Displayed 5 items.
- Induction rules in bounded arithmetic (Q2309507) (← links)
- On axiom schemes for \(T\)-provably \(\Delta_1\) formulas (Q2449854) (← links)
- Pell Equations and Weak Regularity Principles (Q3507426) (← links)
- Fragments of Arithmetic and true sentences (Q4680381) (← links)
- Weak forms of the Regularity Principle in the presence of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf {\mathsf {I}{\mathrm{E}}_1}$\end{document} (Q4915222) (← links)