Studies in weak arithmetics /
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.
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.
All site content, except where otherwise noted, is licensed under a