Pages that link to "Item:Q2566065"
From MaRDI portal
The following pages link to On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories (Q2566065):
Displayed 5 items.
- Provability and interpretability logics with restricted realizations (Q435232) (← links)
- Transductions in arithmetic (Q904144) (← links)
- The arithmetics of a theory (Q2345393) (← links)
- Pell Equations and Weak Regularity Principles (Q3507426) (← 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)