Studies in weak arithmetics /
Cegielski, Patrick,1954-
Stanford, Calif. : CSLI Publications,
c2010.
Includes bibliographical references.
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.
Number theory.
Mathematics
Logic, Symbolic and mathematical.