A small reflection principle for bounded arithmetic

DOI10.2307/2275908zbMath0814.03039OpenAlexW2035299084MaRDI QIDQ4314671

Albert Visser, Rineke Verbrugge

Publication date: 13 June 1995

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275908

zbMATH Keywords

bounded arithmeticwitness comparison\(\Sigma\)-completenesssmall reflection principle

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Related Items

Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\), A note on uniform density in weak arithmetical theories, MARGINALIA ON A THEOREM OF WOODIN, Uniform density in Lindenbaum algebras, Faith \& falsity, No escape from Vardanyan's theorem, HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Self-reference and modal logic
• The computational complexity of logical theories
• Cuts, consistency statements and interpretations
• Proof theory