Quantifier-free and one-quantifier systems
From MaRDI portal
Publication:2557247
DOI10.1007/BF01117472zbMath0252.02027OpenAlexW2014082347MaRDI QIDQ2557247
Publication date: 1973
Published in: Journal of Soviet Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01117472
Related Items (6)
Herbrand analyses ⋮ Primitive recursive selection functions for existential assertions over abstract algebras ⋮ A simple proof of Parsons' theorem ⋮ Consistency statements and iterations of computable functions in \(\mathrm{I}\Sigma_1\) and PRA ⋮ UNFOLDING FINITIST ARITHMETIC ⋮ Fragments of arithmetic
Cites Work
This page was built for publication: Quantifier-free and one-quantifier systems