Report file quality
English [en], .pdf, 🚀/lgli/lgrs/nexusstc/zlib, 5.0MB, 📘 Book (non-fiction), nexusstc/Equivalents of the Axiom of Choice/36ef718e7c329b99eb3c024f3c03385e.pdf
Equivalents of the Axiom of Choice 🔍
Elsevier Science, Studies in Logic and the Foundations of Mathematics, Studies in Logic and the Foundations of Mathematics 34, 1970
Herman Rubin and Jean E. Rubin (Eds.) 🔍
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'.
Alternative filename
lgrsnf/0049237X/34
Alternative filename
lgli/0049237X/34
Alternative title
Provability, Computability and Reflection
Alternative author
Beklemishev, Lev D.
Alternative author
Lev D. Beklemishev
Alternative publisher
Wolters Kluwer Legal & Regulatory U.S.
Alternative publisher
North-Holland Pub. Co
Alternative publisher
Aspen Publishers
Alternative publisher
Elsevier S & T
Alternative edition
Studies in logic and the foundations of mathematics, Amsterdam, 1963
Alternative edition
Place of publication not identified, 1970
Alternative edition
United States, United States of America
Alternative edition
Elsevier Ltd., Burlington, 2000
Alternative edition
3, 04/2000
metadata comments
0
metadata comments
lg1145125
metadata comments
{"container_title":"Studies in Logic and the Foundations of Mathematics","isbns":["0444533990","9780444533999"],"issns":["0049-237X"],"publisher":"Elsevier","series":"Studies in Logic and the Foundations of Mathematics 34"}
Alternative description
Content:
Edited by
Page v
Copyright page
Page vi
Dedication
Page vii
Preface
Pages ix-x
Herman Rubin, Jean E. Rubin
Introduction
Pages xiii-xv
Preliminary Definitions and Theorems
Pages xvii-xxiii
PART I Set Forms
Pages 1-81
PART II Class Forms
Pages 83-109
List of the Set Forms
Pages 111-119
List of the Class Forms
Pages 120-124
List of Forms Weaker Than the Axiom of Choice
Page 125
Bibliography
Pages 126-130
Index of Special Letters and Symbols
Pages 131-132
Index of technical terms
Pages 133-134
Alternative description
Provability, Computability and Reflection
date open sourced
2013-01-18
Read more…

🚀 Fast downloads

Become a member to support the long-term preservation of books, papers, and more. To show our gratitude for your support, you get fast downloads. ❤️

🐢 Slow downloads

From trusted partners. More information in the FAQ. (might require browser verification — unlimited downloads!)

show external downloads
All download options have the same file, and should be safe to use. That said, always be cautious when downloading files from the internet, especially from sites external to Anna’s Archive. For example, be sure to keep your devices updated.
  • For large files, we recommend using a download manager to prevent interruptions.
    Recommended download managers: JDownloader
  • You will need an ebook or PDF reader to open the file, depending on the file format.
    Recommended ebook readers: Anna’s Archive online viewer, ReadEra, and Calibre
  • Use online tools to convert between formats.
    Recommended conversion tools: CloudConvert
  • You can send both PDF and EPUB files to your Kindle or Kobo eReader.
    Recommended tools: Amazon‘s “Send to Kindle” and djazz‘s “Send to Kobo/Kindle”
  • Support authors and libraries
    ✍️ If you like this and can afford it, consider buying the original, or supporting the authors directly.
    📚 If this is available at your local library, consider borrowing it for free there.