Verwandte Artikel zu Studies in Weak Arithmetics: Volume 1 (CSLI Lecture...

Studies in Weak Arithmetics: Volume 1 (CSLI Lecture Notes, Band 196) - Softcover

 
9781575866024: Studies in Weak Arithmetics: Volume 1 (CSLI Lecture Notes, Band 196)
Softcover
ISBN 10: 1575866021 ISBN 13: 9781575866024
Verlag: CTR FOR STUDY OF LANG & INFO, 2009

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorinnen und Autoren

Patrick Cégielski is professor at Université Paris-Est Créteil-IUT de Sénart-Fontainebleau.



Patrick Cegielski, Professor at University Paris-Est Cretell-IUT de Senart Fontainebleau, is the coordinator of a European consortium of teams working on weak arithmetics, mainly from armenia, belgium, Czech Republic, Federation of Russia, France, Great Britain, Greece, Israel, Italy, Poland, Portugal, Slovakia, Spain, Tunisia, and Ukraine.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
CTR FOR STUDY OF LANG & INFO
Erscheinungsdatum
2009
Sprache
Englisch
ISBN 10 
1575866021
ISBN 13 
9781575866024
Einband
Taschenbuch
Anzahl der Seiten
221
Herausgeber
Cegielski Patrick
Kontakt zum Hersteller
preigu GmbH & Co. KG
mail@preigu.de

Lengericher Landstr. 19
Osnabrück
Niedersachsen
49078
Deutschland

Weitere beliebte Ausgaben desselben Titels

9781575869537: Studies in Weak Arithmetics (3): Volume 3 (CSLI Lecture Notes, 217, Band 3)

Vorgestellte Ausgabe

ISBN 10:  1575869535 ISBN 13:  9781575869537
Verlag: Centre for the Study of Language..., 2017
Softcover