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

Institutional Subscription

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.