Pages that link to "Item:Q4888345"
From MaRDI portal
The following pages link to On Overspill Principles and Axiom Schemes for Bounded Formulas (Q4888345):
Displaying 5 items.
- Overspill and fragments of arithmetic (Q1123191) (← links)
- Algebraic combinatorics in bounded induction (Q2216029) (← links)
- Maximum Schemes in Arithmetic (Q4304100) (← 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)
- 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 (Q5305554) (← links)