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 ...
Read More
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.
Read Less
Add this copy of Studies in Weak Arithmetics, Volume 1 (Volume 1) to cart. $73.75, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2009 by Center for the Study of Langua.
Edition:
2009, Center for the Study of Language and Information Publica Tion
Add this copy of Studies in Weak Arithmetics, Volume 1 (Volume 1) to cart. $127.27, good condition, Sold by Midtown Scholar Bookstore rated 5.0 out of 5 stars, ships from Harrisburg, PA, UNITED STATES, published 2009 by Center for the Study of Language.
Edition:
2009, Center for the Study of Language and Information Publica Tion
Publisher:
Center for the Study of Language and Information Publica Tion
Published:
2009
Language:
English
Alibris ID:
18073197937
Shipping Options:
Standard Shipping: $4.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good-Bumped and creased book with tears to the extremities, but not affecting the text block, may have remainder mark or previous owner's name-GOOD PAPERBACK Standard-sized.
