Studies in weak arithmetics
By: edited by Patrick Cegielski.
Contributors: Cegielski, Patrick, 1954-
Series: CSLI lecture notes -- no. 196
Publisher: CSLI Publications
Published: 2010
Place of publication: Stanford, Calif
Language: eng
ISBN-13: 9781575866024
Subjects: Number theory; Mathematics -- Philosophy; Logic, Symbolic and mathematical
Table of contents: title: On the arithmetization of real fields with exponentiation / by Sedki Boughattas and Jean-Pierre Ressayre; title: On conservation results for parameter-free N-induction / by A. Cordon-Rranco, A. Fernandez-Margarit, and F.F. Lara-Martin; title: Pebble games for logics with counting and rank / by Anuj Dawar and Bjarki Holm; title: Rudimentary of two famous reals / by Henri-Alex Esbelin; title: Decision problems for recognizable languages of infinite pictures / by Olivier Finkel; title: A total functional programming language computing APRA / by David Michel and Pierre Valarcher; title: Statements of ill-founded infinity in set theory / by Eugenio Omodeo, Alberto Policriti, and Alexandru Tomescu; title: On some matching problems in trace monoids / by Karine Shahbazyan and Yuri Shoukourian.