Studies in Weak Arithmetics Paperback / softback
Edited by Patrick Cegielski
Part of the Lecture Notes series
Paperback / softback
Description
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.
Information
-
Available to Order - This title is available to order, with delivery expected within 2 weeks
- Format:Paperback / softback
- Pages:221 pages
- Publisher:Centre for the Study of Language & Information
- Publication Date:15/12/2009
- Category:
- ISBN:9781575866024
Information
-
Available to Order - This title is available to order, with delivery expected within 2 weeks
- Format:Paperback / softback
- Pages:221 pages
- Publisher:Centre for the Study of Language & Information
- Publication Date:15/12/2009
- Category:
- ISBN:9781575866024