Consequences of the axiom of choice / Paul Howard, Jean E. Rubin

Auteur principal : Howard, Paul, AuteurCo-auteur : Rubin, Jean E., 1926-2002, AuteurType de document : MonographieCollection : Mathematical surveys and monographs, 59Langue : anglais.Pays: Etats Unis.Éditeur : Providence : American Mathematical Society, 1998Description : 1 vol. (VII-432 p.) ; 26 cmISBN: 9780821809778.ISSN: 0885-4653.Bibliographie : Bibliogr. pp. 389-419. Index.Sujet MSC : 03-00, General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations
03E25, Mathematical logic and foundations - Set theory, Axiom of choice and related propositions
03-02, Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
En-ligne : Zentralblatt | MathSciNet | AMS Item type: Monographie
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Current library Call number Status Date due Barcode
CMI
Salle 1
03 HOW (Browse shelf(Opens below)) Available 00863-01

disquette inclus dans livre

Bibliogr. pp. 389-419. Index

This book, Consequences of the Axiom of Choice, is a comprehensive listing of statements that have been proved in the last 100 years using the axiom of choice. Each consequence, also referred to as a form of the axiom of choice, is assigned a number.

Part I is a listing of the forms by number. In this part each form is given together with a listing of all statements known to be equivalent to it (equivalent in set theory without the axiom of choice). In Part II the forms are arranged by topic. In Part III we describe the models of set theory which are used to show non-implications between forms. Part IV, the notes section, contains definitions, summaries of important sub-areas and proofs that are not readily available elsewhere. Part V gives references for the relationships between forms and Part VI is the bibliography.

Part VII is contained on the floppy disk which is enclosed in the book. It contains a table with form numbers as row and column headings. The entry in the table in row n, column k gives the status of the implication "form n implies form k". Software for easily extracting information from the table is also provided. (source : AMS)

There are no comments on this title.

to post a comment.