"Unprovability of Consistency Statements in Fragments of Bounded Arithm" by Samuel R. Buss and Aleksandar Ignjatović

Skip to main content

Department of Philosophy

Authors

Samuel R. Buss, Carnegie Mellon University
Aleksandar Ignjatović, Carnegie Mellon University

Title

Unprovability of Consistency Statements in Fragments of Bounded Arithmetic

Date of Original Version

11-1993

Type

Technical Report

Abstract or Table of Contents

Samuel R. Buss and Aleksandar Ignjatović. Unprovability of Consistency Statements in Fragments of Bounded Arithmetic.

Comments

CMU-PHIL-43

Included in

Philosophy Commons

COinS