skip to content
A formalization of set theory without variables Preview this item
ClosePreview this item
Checking...

A formalization of set theory without variables

Author: Alfred Tarski; Steven R Givant
Publisher: Providence, R.I. : American Mathematical Society, ©1987.
Series: Colloquium publications (American Mathematical Society), v. 41.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:
Completed in 1983, this work culminates nearly half a century of the late Alfred Tarski's foundational studies in logic, mathematics, and the philosophy of science. Written in collaboration with Steven Givant, the book appeals to a very broad audience, and requires only a familiarity with first-order logic. It is of great interest to logicians and mathematicians interested in the foundations of mathematics, but also  Read more...
Rating:

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

Subjects
More like this

Find a copy online

Find a copy in the library

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

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Alfred Tarski; Steven R Givant
ISBN: 0821810413 9780821810415
OCLC Number: 14167511
Description: xxi, 318 pages : illustrations ; 26 cm.
Contents: The formalism L of predicate logic --
The formalism L+, a definitional extension of L --
The formalism L+ without variables and the problem of its equipollence with L --
The relative equipollence of L and L+, and the formalization of set theory in L× --
Some improvements of the equipollence results --
Implications of the main results for semantic and axiomatic foundations of set theory --
Extension of results to arbitrary formalisms of predicate logic, and applications to the formalization of the arithmetics of natural and real numbers --
Applications to relation algebras and to varieties of algebras.
Series Title: Colloquium publications (American Mathematical Society), v. 41.
Responsibility: by Alfred Tarski and Steven Givant.
More information:

Abstract:

Culminates nearly half a century of the late Alfred Tarski's foundational studies in logic, mathematics, and the philosophy of science. This work shows that set theory and number theory can be  Read more...

Reviews

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

Tags

Be the first.
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/14167511> # A formalization of set theory without variables
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "14167511" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/riu> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/7228003#Place/providence_r_i> ; # Providence, R.I.
    schema:about <http://experiment.worldcat.org/entity/work/data/7228003#Topic/verzamelingen_wiskunde> ; # Verzamelingen (wiskunde)
    schema:about <http://experiment.worldcat.org/entity/work/data/7228003#Topic/axiomatische_mengenlehre> ; # Axiomatische Mengenlehre
    schema:about <http://experiment.worldcat.org/entity/work/data/7228003#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://dewey.info/class/511.322/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/7228003#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/7228003#Topic/ensembles_theorie_des> ; # Ensembles, Théorie des
    schema:about <http://experiment.worldcat.org/entity/work/data/7228003#Topic/teoria_dos_conjuntos> ; # Teoria Dos Conjuntos
    schema:about <http://experiment.worldcat.org/entity/work/data/7228003#Topic/mengenlehre> ; # Mengenlehre
    schema:about <http://experiment.worldcat.org/entity/work/data/7228003#Topic/mathematische_logik> ; # Mathematische Logik
    schema:about <http://experiment.worldcat.org/entity/work/data/7228003#Topic/set_theory> ; # Set theory
    schema:author <http://viaf.org/viaf/34522681> ; # Steven R. Givant
    schema:bookFormat bgn:PrintBook ;
    schema:copyrightYear "1987" ;
    schema:creator <http://viaf.org/viaf/88667191> ; # Alfred Tarski
    schema:datePublished "1987" ;
    schema:description "The formalism L of predicate logic -- The formalism L+, a definitional extension of L -- The formalism L+ without variables and the problem of its equipollence with L -- The relative equipollence of L and L+, and the formalization of set theory in L× -- Some improvements of the equipollence results -- Implications of the main results for semantic and axiomatic foundations of set theory -- Extension of results to arbitrary formalisms of predicate logic, and applications to the formalization of the arithmetics of natural and real numbers -- Applications to relation algebras and to varieties of algebras."@en ;
    schema:description "Completed in 1983, this work culminates nearly half a century of the late Alfred Tarski's foundational studies in logic, mathematics, and the philosophy of science. Written in collaboration with Steven Givant, the book appeals to a very broad audience, and requires only a familiarity with first-order logic. It is of great interest to logicians and mathematicians interested in the foundations of mathematics, but also to philosophers interested in logic, semantics, algebraic logic, or the methodology of the deductive sciences, and to computer scientists interested in developing very simple computer languages rich enough for mathematical and scientific applications."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/7228003> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/7228003#Series/colloquium_publications_american_mathematical_society> ; # Colloquium publications (American Mathematical Society) ;
    schema:isPartOf <http://worldcat.org/issn/0065-9258> ; # Colloquium publications,
    schema:name "A formalization of set theory without variables"@en ;
    schema:productID "14167511" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/14167511#PublicationEvent/providence_r_i_american_mathematical_society_1987> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/7228003#Agent/american_mathematical_society> ; # American Mathematical Society
    schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1908958&custom_att_2=simple_viewer> ;
    schema:url <http://www.gbv.de/dms/hbz/toc/ht003064678.pdf> ;
    schema:workExample <http://worldcat.org/isbn/9780821810415> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/14167511> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/7228003#Agent/american_mathematical_society> # American Mathematical Society
    a bgn:Agent ;
    schema:name "American Mathematical Society" ;
    .

<http://experiment.worldcat.org/entity/work/data/7228003#Place/providence_r_i> # Providence, R.I.
    a schema:Place ;
    schema:name "Providence, R.I." ;
    .

<http://experiment.worldcat.org/entity/work/data/7228003#Series/colloquium_publications_american_mathematical_society> # Colloquium publications (American Mathematical Society) ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/14167511> ; # A formalization of set theory without variables
    schema:name "Colloquium publications (American Mathematical Society) ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/7228003#Topic/axiomatische_mengenlehre> # Axiomatische Mengenlehre
    a schema:Intangible ;
    schema:name "Axiomatische Mengenlehre"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/7228003#Topic/ensembles_theorie_des> # Ensembles, Théorie des
    a schema:Intangible ;
    schema:name "Ensembles, Théorie des"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/7228003#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/7228003#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/7228003#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
    schema:name "Mathematische Logik"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/7228003#Topic/teoria_dos_conjuntos> # Teoria Dos Conjuntos
    a schema:Intangible ;
    schema:name "Teoria Dos Conjuntos"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/7228003#Topic/verzamelingen_wiskunde> # Verzamelingen (wiskunde)
    a schema:Intangible ;
    schema:name "Verzamelingen (wiskunde)"@en ;
    .

<http://viaf.org/viaf/34522681> # Steven R. Givant
    a schema:Person ;
    schema:familyName "Givant" ;
    schema:givenName "Steven R." ;
    schema:name "Steven R. Givant" ;
    .

<http://viaf.org/viaf/88667191> # Alfred Tarski
    a schema:Person ;
    schema:birthDate "1901" ;
    schema:deathDate "1983" ;
    schema:familyName "Tarski" ;
    schema:givenName "Alfred" ;
    schema:name "Alfred Tarski" ;
    .

<http://worldcat.org/isbn/9780821810415>
    a schema:ProductModel ;
    schema:isbn "0821810413" ;
    schema:isbn "9780821810415" ;
    .

<http://worldcat.org/issn/0065-9258> # Colloquium publications,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/14167511> ; # A formalization of set theory without variables
    schema:issn "0065-9258" ;
    schema:name "Colloquium publications," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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