Skip to content

Studies in Weak Arithmetics (Center for the Study of Language and Information -
Stock Photo: Cover May Be Different

Studies in Weak Arithmetics (Center for the Study of Language and Information - Lecture Notes) Paperback - 2009

by Center for the Study of Language and Inf


From the publisher

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.

Details

  • Title Studies in Weak Arithmetics (Center for the Study of Language and Information - Lecture Notes)
  • Author Center for the Study of Language and Inf
  • Binding Paperback
  • Language ENG
  • Publisher Center for the Study of Language and Inf
  • Date 2009
  • ISBN 9781575866024
  • Themes
    • Aspects (Academic): Science/Technology Aspects

About the author

Patrick Cgielski isprofessor at Universit Paris-Est Crteil-IUT de Snart-Fontainebleau.

Back to Top

More Copies for Sale

Studies in Weak Arithmetics, Volume 1 (Volume 1) (Lecture Notes)
Stock Photo: Cover May Be Different

Studies in Weak Arithmetics, Volume 1 (Volume 1) (Lecture Notes)

by C

  • Used
  • Paperback
Condition
Used: Good
Binding
Paperback
ISBN 10 / ISBN 13
9781575866024 / 1575866021
Quantity Available
1
Seller
HOUSTON, Texas, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
€45.93
FREE shipping to USA

Show Details

Description:
Center for the Study of Language and Inf, 2009-12-15. paperback. Used: Good.
Item Price
€45.93
FREE shipping to USA
Studies in Weak Arithmetics, Volume 1 (Volume 1) (Lecture Notes)
Stock Photo: Cover May Be Different

Studies in Weak Arithmetics, Volume 1 (Volume 1) (Lecture Notes)

by C

  • Used
  • Paperback
Condition
Used:Good
Binding
Paperback
ISBN 10 / ISBN 13
9781575866024 / 1575866021
Quantity Available
1
Seller
HOUSTON, Texas, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
€46.37
FREE shipping to USA

Show Details

Description:
Center for the Study of Language and Inf, 2009-12-15. paperback. Used:Good.
Item Price
€46.37
FREE shipping to USA
Studies in Weak Arithmetics, Volume 1
Stock Photo: Cover May Be Different

Studies in Weak Arithmetics, Volume 1

by Cegielski, Patrick (Editor)

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9781575866024 / 1575866021
Quantity Available
1
Seller
Exeter, Devon, United Kingdom
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
€65.37
€11.80 shipping to USA

Show Details

Description:
Stanford Univ Center for the Study, 2009. Paperback. New. 213 pages. 9.25x6.00x0.50 inches.
Item Price
€65.37
€11.80 shipping to USA