Strict -reflection in bounded arithmetic

We prove two conservation results involving a generalization of the principle of strict -reflection, in the context of bounded arithmetic. In this context a separation between the concepts of bounded set and binary sequence seems to emerge as fundamental.

Saved in:
Bibliographic Details
Published in:Archive for mathematical logic 2010, Vol.49 (1), p.17-34
Main Author: Fernandes, António M.
Format: Article
Language:English
Subjects:
Algebra
Mathematical Logic and Foundations
Mathematics
Mathematics and Statistics
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We prove two conservation results involving a generalization of the principle of strict -reflection, in the context of bounded arithmetic. In this context a separation between the concepts of bounded set and binary sequence seems to emerge as fundamental.
ISSN:0933-5846
1432-0665
DOI:10.1007/s00153-009-0157-z