Provability, Computability and Reflection - 1st Edition - ISBN: 9780444533999, 9780080957548

Provability, Computability and Reflection, Volume 34

1st Edition

Authors: Lev Beklemishev
eBook ISBN: 9780080957548
Imprint: Elsevier Science
Published Date: 1st April 2000
Page Count: 133
Sales tax will be calculated at check-out Price includes VAT/GST
215.00
150.50
150.50
150.50
172.00
150.50
150.50
172.00
170.00
119.00
119.00
119.00
136.00
119.00
119.00
136.00
275.00
192.50
192.50
192.50
220.00
192.50
192.50
220.00
250.00
175.00
175.00
175.00
200.00
175.00
175.00
200.00
Unavailable
Price includes VAT/GST

eBook format help

Institutional Subscription

Support Center

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.

Description

The book consists of  a selection of the forms of the axiom of choice which appeared in the literature together with additional forms which were obtained in the process of writing the book. Forms which were either used often in practice, unusual, relatively unknown, or particularly weak or strong were chosen for inclusion. The book assumes a knowledge of  logic and elementary set theory (von Neumann-Bemays-Godel set theory), but does include a list of definitions of set theoretical symbols and terms in the section entitled "Preliminary Definitions and Theorems".

Readership

Students and researchers in Logic (Mathematics, Computer Science, Philosophy).

Details

No. of pages:
133
Language:
English
Copyright:
© Elsevier Science 1963
Published:
Imprint:
Elsevier Science
eBook ISBN:
9780080957548

Ratings and Reviews

About the Authors

Lev Beklemishev Author

Affiliations and Expertise

Steklov Institute of Mathematics, Moscow and Utrecht University.

Request Quote

Tax Exemption

We cannot process tax exempt orders online. If you wish to place a tax exempt order please contact us.