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):
Displaying 11 items.
- Provability and interpretability logics with restricted realizations (Q435232) (← links)
- Transductions in arithmetic (Q904144) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Axiomatizing provable \(n\)-provability (Q1732059) (← 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)
- A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH (Q5046601) (← links)
- AXIOMATIZATION OF PROVABLE n-PROVABILITY (Q5222538) (← links)
- On a Problem of J. Paris (Q5441123) (← links)
- MARGINALIA ON A THEOREM OF WOODIN (Q5738208) (← links)
