• Sign In / Register
  • Help
  • Basket0
The books you love, the emails you want
Time is running out, opt in before 25 May or you'll stop hearing from us
Yes Please
Studies in Weak Arithmetics - CSLI - Lecture Notes No.196 (Paperback)
  • Studies in Weak Arithmetics - CSLI - Lecture Notes No.196 (Paperback)
zoom

Studies in Weak Arithmetics - CSLI - Lecture Notes No.196 (Paperback)

(editor)
£30.00
Paperback 221 Pages / Published: 10/08/2010
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket

Check Marketplace availability

The field of weak arithmetics is an application of logical methods to number theory that was developed by mathematicians, philosophers, and theoretical computer scientists. In this volume, after a general presentation of weak arithmetics, the following topics are studied: the properties of integers of a real closed field equipped with exponentiation; conservation results for the induction schema restricted to first-order formulas with a finite number of alternations of quantifiers; a survey of a class of tools called pebble games; the fact that the reals e and pi have approximations expressed by first-order formulas using bounded quantifiers; properties of infinite pictures depending on the universe of sets used; a language that simulates in a sufficiently nice manner all algorithms of a certain restricted class; the logical complexity of the axiom of infinity in some variants of set theory without the axiom of foundation; and the complexity to determine whether a trace is included in another one.

Publisher: Centre for the Study of Language & Information
ISBN: 9781575866024
Number of pages: 221
Dimensions: 229 x 152 x 15 mm

You may also be interested in...

Number Theory
Added to basket
£11.99
Paperback
Numbers: A Very Short Introduction
Added to basket
Love and Math
Added to basket
£18.99
Hardback
The Man of Numbers
Added to basket
£12.99
Paperback
Proofs from THE BOOK
Added to basket
Wild Fibonacci
Added to basket
£5.99
Paperback
Elementary Number Theory
Added to basket
The Irrationals
Added to basket
£14.95
Paperback
Modular Forms
Added to basket
£76.00
Hardback
The Theory of Algebraic Numbers
Added to basket
Euclid's Elements
Added to basket
£31.99
Hardback
Number Theory
Added to basket
£60.99
Paperback
The Higher Arithmetic
Added to basket
Fermat's Last Theorem
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.