Call Us 080-41656200 (Mon-Sat: 10AM-8PM)
Free Shipping above Rs. 1499
Cash On Delivery*

Tiered Arithmetic and its Applications

 

Marketed By :  LAP LAMBERT Academic Publishing   Sold By :  Kamal Books International  
Delivery in :  10-12 Business Days

 

Check Your Delivery Options

 
Rs. 3,651

Availability: In stock

 
  • Product Description
 

This book is first author''s dissertation that is submitted in accordance with the requirements for the degree of Doctor of Philosophy to The University of Leeds, Department of Pure Mathematics in January 2000 under the direction of second author with the title "Tiered Arithmetic, its Functional Interpretation and Slow Growing Bounds". A two-sorted version of Peano Arithmetic is developed, with proof-rules corresponding to the normal/safe recursion schemes of Bellantoni and Cook. Classical methods of proof theory still apply, but now the provably recursive functions are brought down to more computationally realistic levels than in the single-sorted case, since the bounding functions turn out to be "slow growing" rather than "fast growing". Result very similar to earlier ones of Leivant are obtained characterizing Grzegorczyk’s classes (in the existential fragment) and (in the full theory).

Product Specifications
SKU :COC23378
AuthorNaim Ça?man and Stan S. Wainer
LanguageEnglish
BindingPaperback
Number of Pages108
Publishing Year2010-04-06T00:00:00.000
ISBN978-3838365619
Edition1 st
Book TypeMathematics
Country of ManufactureIndia
Product BrandLAP LAMBERT Academic Publishing
Product Packaging InfoBox
In The Box1 Piece
Product First Available On ClickOnCare.com2015-07-28 00:00:00