Abstract
Models of the integers, yielding witnessing, independence, and separation results for weak systems of bounded induction, are suggested. Bibliography: 2 titles.
Similar content being viewed by others
REFERENCES
S. R. Buss, Bounded Arithmetic, Bibliopolis, Naples (1986).
C. Pollett, “Multifunction algebras and the provability of PH↓,” Ann. Pure Appl. Logic, 104, 279–303 (2000).
Author information
Authors and Affiliations
Additional information
__________
Published in Zapiski Nauchnykh Seminarov POMI, Vol. 304, 2003, pp. 13–18.
Rights and permissions
About this article
Cite this article
Boughattas, S., Ressayre, JP. New Models of Bounded Induction Axioms. J Math Sci 130, 4574–4577 (2005). https://doi.org/10.1007/s10958-005-0352-3
Received:
Issue Date:
DOI: https://doi.org/10.1007/s10958-005-0352-3