skip to content
Set theory and its logic Preview this item
ClosePreview this item
Checking...

Set theory and its logic

Author: Willard van Orman Quine
Publisher: Cambridge, Mass. [u.a.] : Belknap Press of Harvard Univ. Press, [ca. 1990]
Edition/Format:   Print book : English : Rev. ed., [Nachdr.]View all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Willard van Orman Quine
ISBN: 0674802071 9780674802070
OCLC Number: 615390381
Description: XVII, 361 S
Contents: INTRODUCTION PART ONE. THE ELEMENTS I. LOGIC Quantification and identity Virtual classes Virtual relations II. REAL CLASSES Reality, extensionality, and the individual The virtual amid the real Identity and substitution III. CLASSES OF CLASSES Unit classes Unions, intersections, descriptions Relations as classes of pairs Functions IV. NATURAL NUMBERS Numbers unconstrued Numbers construed Induction V. ITERATION AND ARITHMETIC Sequences and iterates The ancestral Sum, product, power PART TWO. HIGHER FORMS OF NUMBER VI. REAL NUMBERS Program. Numerical pairs Ratios and reals construed Existential needs. Operations and extensions VII. ORDER AND ORDINALS Transfinite induction Order Ordinal numbers Laws of ordinals The order of the ordinals VIII. TRANSFINITE RECURSION Transfinite recursion Laws of transfinite recursion Enumeration IX. CARDINAL NUMBERS Comparative size of classes The SchrOder-Bernstein theorem Infinite cardinal numbers X. THE AXIOM OF CHOICE Selections and selectors Further equivalents of the axiom The place of the axiom PART THREE. AXIOM SYSTEMS XI. RUSSELL'S THEORY OF TYPES The constructive part Classes and the axiom of reducibility The modern theory of types XII. GENERAL VARIABLES AND ZERMELO The theory of types with general variables Cumulative types and Zermelo Axioms of infinity and others XIII. STRATIFICATION AND ULTIMATE CLASSES "New foundations" Non-Cantorian classes. Induction again Ultimate classes added XIV. VON NEUMANN'S SYSTEM AND OTHERS The von Neumann-Bernays system Departures and comparisons Strength of systems SYNOPSIS OF FIVE AXIOM SYSTEMS LIST OF NUMBERED FORMULAS BIBLIOGRAPHICAL REFERENCES INDEX
Responsibility: Willard Van Orman Quine.

Reviews

Editorial reviews

Publisher Synopsis

This revision of an important and lucid account of the various systems of axiomatic set theory preserves the basic format and essential ingredients of its highly regarded original...There have, Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(3)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/615390381> # Set theory and its logic
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "615390381" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1401106#Place/cambridge_mass_u_a> ; # Cambridge, Mass. u.a.
    schema:about <http://experiment.worldcat.org/entity/work/data/1401106#Topic/mengenlehre> ; # Mengenlehre
    schema:about <http://experiment.worldcat.org/entity/work/data/1401106#Topic/axiomatik> ; # Axiomatik
    schema:about <http://experiment.worldcat.org/entity/work/data/1401106#Topic/logik> ; # Logik
    schema:author <http://experiment.worldcat.org/entity/work/data/1401106#Person/quine_willard_van_orman> ; # Willard van Orman Quine
    schema:bookEdition "Rev. ed., [Nachdr.]." ;
    schema:bookFormat bgn:PrintBook ;
    schema:copyrightYear "a. 1" ;
    schema:datePublished "1990" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1401106> ;
    schema:inLanguage "en" ;
    schema:name "Set theory and its logic" ;
    schema:productID "615390381" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/615390381#PublicationEvent/cambridge_mass_u_a_belknap_press_of_harvard_univ_press_ca_1990> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1401106#Agent/belknap_press_of_harvard_univ_press> ; # Belknap Press of Harvard Univ. Press
    schema:workExample <http://worldcat.org/isbn/9780674802070> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/615390381> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1401106#Agent/belknap_press_of_harvard_univ_press> # Belknap Press of Harvard Univ. Press
    a bgn:Agent ;
    schema:name "Belknap Press of Harvard Univ. Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/1401106#Person/quine_willard_van_orman> # Willard van Orman Quine
    a schema:Person ;
    schema:familyName "Quine" ;
    schema:givenName "Willard van Orman" ;
    schema:name "Willard van Orman Quine" ;
    .

<http://experiment.worldcat.org/entity/work/data/1401106#Place/cambridge_mass_u_a> # Cambridge, Mass. u.a.
    a schema:Place ;
    schema:name "Cambridge, Mass. u.a." ;
    .

<http://worldcat.org/isbn/9780674802070>
    a schema:ProductModel ;
    schema:isbn "0674802071" ;
    schema:isbn "9780674802070" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.