Axiomatizations and Conservation Results for Fragments of Bounded Arithmetic

Axiomatizations and Conservation Results for Fragments of Bounded Arithmetic (1990)

by Samuel R. Buss

Citations:

25 - 2 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Axiomatizations and Conservation Results for Fragments of Bounded Arithmetic	user correction - Legacy Corrections
AUTHOR NAME	Samuel R. Buss	SVM HeaderParse 0.1
AUTHOR AFFIL	; Department of Mathematics; University of California, San Diego; b; i+1-IND is a consequence of T; i	SVM HeaderParse 0.2
AUTHOR ADDR	; 2. The latter	SVM HeaderParse 0.1
ABSTRACT	This paper presents new results on axiomatizations for fragments of Bounded Arithmetic which improve upon the author's dissertation. It is shown that (# i+1 )-PIND and strong # i -replacement are consequences of S 2 . Also # i+1 -IND is a consequence of T 2 . The latter result is proved by showing that S i+1 -conservative over 2 . Furthermore, S i+1 -replacement with respect to Boolean combinations of # i+1 -formulas. 1	user correction - Legacy Corrections
YEAR	1990	user correction - Legacy Corrections
CITATIONS	9 found	ParsCit 1.0