Separating bounded arithmetical theories by Herbrand consistency

DOI10.1093/LOGCOM/EXR005zbMath1252.03136DBLPjournals/logcom/Salehi12arXiv1008.0225OpenAlexW1601252601WikidataQ57533051 ScholiaQ57533051MaRDI QIDQ2893322

Saeed Salehi

Publication date: 20 June 2012

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1008.0225

zbMATH Keywords

Herbrand consistency\(\Pi _{1}\)-conservative extensionsbounded arithmetics

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Related Items (2)

Herbrand consistency of some finite fragments of bounded arithmetical theories ⋮ Herbrand consistency of some arithmetical theories

This page was built for publication: Separating bounded arithmetical theories by Herbrand consistency