{"product_id":"studies-in-weak-arithmetics-9781575866024","title":"Studies in Weak Arithmetics","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp\u003eThe 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 \u003ci\u003ee\u003c\/i\u003e 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.\u003cb\u003e\u003c\/b\u003e\u003c\/p\u003e","brand":"Centre for the Study of Language \u0026 Information","offers":[{"title":"Default Title","offer_id":51742620582231,"sku":"9781575866024","price":30.4,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0817\/1739\/5799\/files\/9781575866024.jpg?v=1758385683","url":"https:\/\/bookcurl.com\/products\/studies-in-weak-arithmetics-9781575866024","provider":"Book Curl","version":"1.0","type":"link"}