Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Studies in Weak Arithmetics

Name: Studies in Weak Arithmetics
Brand: Centre for the Study of Language & Information
SKU: 06256998
Price: 47.09 EUR
Availability: InStock
Author: Patrick Cegielski
ISBN: 9781575866024

Patrick Cegielski

Language

English

Book Paperback

Libristo code: 06256998

Publishers Centre for the Study of Language & Information, August 2010

The field of weak arithmetics is an application of logical methods to number theory that was develop... Full description

Libristo code: 06256998

115 b

47.09 € VAT included

In stock at our supplier Shipping in 14-20 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Markt China Dieter Kuhn

Hardback

134.95 €

Chimie Tout-en-un MP/MP*-PT/PT* - 6e éd. Bruno Fosset

Paperback

38.69 €

Fyzika I 2.díl Jarmila Davidová

Paperback

4.59 €

Planning the Murder of Anne Boleyn Angus

Hardback

27.50 €

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.