9 books match the query 'Number theory'
Peter Ulrickson
Catholic University of America Press, 2023
Walter B. Ford
University of Michigan Press, 1936
Edited by David Fisher, Dmitry Kleinbock, and Gregory Soifer
University of Chicago Press, 2022
Dave Witte Morris
University of Chicago Press, 2005
Edited by Patrick Cégielski
CSLI, 2009
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.
Edited by Patrick Cégielski, Charalampos Cornaros, and Costas Dimitracopoulos
CSLI, 2013
Edited by Patrick Cegielski, Ali Enayat, and Roman Kossak
CSLI, 2013
Peter Ulrickson
Catholic University of America Press, 2023
Edited by Sidney W. Graham and Jeffrey D. Vaaler
University of Texas Press, 1985