Discover millions of ebooks, audiobooks, and so much more with a free trial

Only $11.99/month after trial. Cancel anytime.

Unavailable
Provability, Computability and Reflection
Unavailable
Provability, Computability and Reflection
Unavailable
Provability, Computability and Reflection
Ebook139 pages3 hours

Provability, Computability and Reflection

Rating: 4.5 out of 5 stars

4.5/5

()

Currently unavailable

Currently unavailable

About this ebook

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".
LanguageEnglish
Release dateApr 1, 2000
ISBN9780080957548
Unavailable
Provability, Computability and Reflection

Related to Provability, Computability and Reflection

Titles in the series (32)

View More

Related ebooks

Mathematics For You

View More

Related articles

Reviews for Provability, Computability and Reflection

Rating: 4.333333333333333 out of 5 stars
4.5/5

6 ratings1 review

What did you think?

Tap to rate

Review must be at least 10 words

  • Rating: 4 out of 5 stars
    4/5
    The title is Provability, Computability and Reflection. But the cover of this book shows its title is "Equivalents of the Axiom of Choice".