Pages that link to "Item:Q2557247"
From MaRDI portal
The following pages link to Quantifier-free and one-quantifier systems (Q2557247):
Displaying 6 items.
- A simple proof of Parsons' theorem (Q558443) (← links)
- Consistency statements and iterations of computable functions in \(\mathrm{I}\Sigma_1\) and PRA (Q711565) (← links)
- Fragments of arithmetic (Q762484) (← links)
- Primitive recursive selection functions for existential assertions over abstract algebras (Q941429) (← links)
- Herbrand analyses (Q2641297) (← links)
- UNFOLDING FINITIST ARITHMETIC (Q3066785) (← links)
