Existentially Closed Models and Conservation Results in Bounded Arithmetic

DOI10.1093/logcom/exn030zbMath1163.03020OpenAlexW2031958101MaRDI QIDQ3611724

F. F. Lara-Martín, Andrés Cordón-Franco, A. Fernández-Margarit

Publication date: 2 March 2009

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

Full work available at URL: https://idus.us.es/handle//11441/87544

zbMATH Keywords

bounded arithmeticconservation resultsexistentially closed modelsparameter-free schemes

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62)

Related Items

Induction rules in bounded arithmetic