Paper Info
Title
The Function [A/M] In Sharply Bounded Arithmetic
Abstract
This paper proves that the division operation [a/m] is provably total in the system S-2(0) of bounded arithmetic if and only if m is of the form 2(n) for some n.
Year
DOI
Venue
1997
10.1007/s001530050082
ARCHIVE FOR MATHEMATICAL LOGIC
DocType
Volume
Issue
Journal
37
1
ISSN
Citations 
PageRank 
0933-5846
0
0.34
References 
Authors
0
2
Name
Order
Citations
PageRank
Mitsuru Tada1697.17
Makoto Tatsuta211122.36