Pages that link to "Item:Q2449854"
From MaRDI portal
The following pages link to On axiom schemes for \(T\)-provably \(\Delta_1\) formulas (Q2449854):
Displaying 5 items.
- Passive induction and a solution to a Paris-Wilkie open question (Q882120) (← links)
- END-EXTENSIONS OF MODELS OF WEAK ARITHMETIC FROM COMPLEXITY-THEORETIC CONTAINMENTS (Q2976370) (← 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)
- On a Problem of J. Paris (Q5441123) (← links)
- Semi-honest subrecursive degrees and the collection rule in arithmetic (Q6137350) (← links)
