Studies in Weak Arithmetics

Name: Studies in Weak Arithmetics
Brand: Wiley
Price: 53.75 AUD
Availability: BackOrder

By: Patrick Cegielski (Editor)

Write A Review

Paperback | 15 December 2009 | Edition Number 1

At a Glance

Paperback
221 Pages

Dimensions(cm)
2.28 x 1.55 x 0.13

Paperback

RRP $65.95

$53.75

18%OFF

or 4 interest-free payments of $13.44 with

Available for Backorder. We will order this from our supplier however there isn't a current ETA.

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 on 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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.