Studies in weak arithmetics / Ed. by Patrick Cegielski. - Stanford, Calif. : CSLI Publications, 2010. - vii, 213 p. - CSLI lecture notes ; No. 196 .

On the arithmetization of real fields with exponentiation / by Sedki Boughattas and Jean-Pierre Ressayre ; On conservation results for parameter-free N-induction / by A. Cordon-Rranco, A. Fernandez-Margarit, and F.F. Lara-Martin ; Pebble games for logics with counting and rank / by Anuj Dawar and Bjarki Holm ; Rudimentary of two famous reals / by Henri-Alex Esbelin ; Decision problems for recognizable languages of infinite pictures / by Olivier Finkel ; A total functional programming language computing APRA / by David Michel and Pierre Valarcher ; Statements of ill-founded infinity in set theory / by Eugenio Omodeo, Alberto Policriti, and Alexandru Tomescu ; On some matching problems in trace monoids / by Karine Shahbazyan and Yuri Shoukourian.

1-57586-602-1 (alk. paper)


Number theory.
Mathematics--Philosophy.
Logic, Symbolic and mathematical.