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
Tax/VAT will be calculated at check-out Price includes VAT (GST)
30% off
30% off
30% off
30% off
30% off
20% off
20% off
30% off
30% off
30% off
30% off
30% off
20% off
20% off
25% off
25% off
25% off
25% off
25% off
20% off
20% off
30% off
30% off
30% off
30% off
30% off
20% off
20% off
215.00
150.50
150.50
150.50
150.50
150.50
172.00
172.00
170.00
119.00
119.00
119.00
119.00
119.00
136.00
136.00
275.00
206.25
206.25
206.25
206.25
206.25
220.00
220.00
250.00
175.00
175.00
175.00
175.00
175.00
200.00
200.00
Unavailable
Price includes VAT (GST)
× DRM-Free

Easy - Download and start reading immediately. There’s no activation process to access eBooks; all eBooks are fully searchable, and enabled for copying, pasting, and printing.

Flexible - Read on multiple operating systems and devices. Easily read eBooks on smart phones, computers, or any eBook readers, including Kindle.

Open - Buy once, receive and download all available eBook formats, including PDF, EPUB, and Mobi (for Kindle).

Institutional Access

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

About the Authors

Lev Beklemishev Author

Affiliations and Expertise

Steklov Institute of Mathematics, Moscow and Utrecht University.