
- Publisher's listprice GBP 82.99
-
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 20% (cc. 8 400 Ft off)
- Discounted price 33 601 Ft (32 001 Ft + 5% VAT)
42 001 Ft
Availability
Estimated delivery time: In stock at the publisher, but not at Prospero's office. Delivery time approx. 3-5 weeks.
Not in stock at Prospero.
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Edition number 1
- Publisher A K Peters
- Date of Publication 1 September 2005
- ISBN 9781568812632
- Binding Hardback
- No. of pages416 pages
- Size 229x152 mm
- Weight 703 g
- Language English 0
Categories
Short description:
This book is intended as a sequel or partial update of Subsystems of Second Order Arithmetic (SOSOA). It consists of 24 original research papers exhibiting some of the exciting new developments in reverse mathematics and subsystems of second order arithmetic, subsequent to 1998.
MoreLong description:
Reverse Mathematics is a program of research in the foundations of mathematics, motivated by the foundational questions of what are appropriate axioms for mathematics, and what are the logical strengths of particular axioms and particular theorems. The book contains 24 original papers by leading researchers. These articles exhibit the exciting recent developments in reverse mathematics and subsystems of second order arithmetic.
MoreTable of Contents:
1. Possible ra-diagrams of models of arithmetic 2. Weak theories of nonstandard arithmetic and analysis 3. Notions of compactness in weak subsystems of second order arithmetic 4. Proof-theoretic strength of the stable marriage theorem and other problems 5. Free sets and reverse mathematics 6. Interpreting arithmetic in the r.e. degrees under Z4-induction 7. Reverse mathematics, Archimedean classes, and Hahn?s Theorem 8. The Baire category theorem over a feasible base theory 9. Basic applications of weak Konig?s lemma in feasible analysis 10. Maximal nonfinitely generated subalgebras 11. Metamathematics of comparability 12. A note on compactness of countable sets 13. A survey of the reverse mathematics of ordinal arithmetic 14. Reverse mathematics and ordinal suprem 15. Did Cantor need set theory? 16. Models of arithmetic: Quantifiers and complexity 17. Higher order reverse mathematics 18. Arithmetic saturation 19. WQO and BQO theory in subsystems of second order arithmetic 20. Reverse mathematics and graph coloring: Eliminating diagonalization 21. Undecidable theories and reverse mathematics 22. II1 sets and models of WKLo 23. Manipulating the reals in RCA0 24. Reverse mathematics and weak systems of 0-1 strings for feasible analysis
More
Reverse Mathematics 2001: Lecture Notes in Logic 21
Subcribe now and receive a favourable price.
Subscribe
42 001 HUF