A formalization of set theory without variables / by Alfred Tarski and Steven Givant.

Format:

Book

Author/Creator:

Tarski, Alfred, author.

Contributor:

Givant, Steven R.

Series:

Colloquium publications (American Mathematical Society) ; v. 41.

Colloquium Publications, 2473-3946 ; v. 41

Language:

English

Subjects (All):

Set theory.

Logic, Symbolic and mathematical.

Physical Description:

1 online resource (xxi, 318 pages : illustrations)

Place of Publication:

Providence, R.I. : American Mathematical Society, c1987.

System Details:

Mode of access : World Wide Web

Contents:

Chapter 1. The formalism $\mathcal L$of predicate logic Chapter 2. The formalism $\mathcal L^+$, a definitional extension of $\mathcal L$ Chapter 3. The formalism $\mathcal L^+$ without variables and the problem of its equipollence with $\mathcal L$ Chapter 4. The relative equipollence of $\mathcal L$ and $\mathcal L^+$, and the formalization of set theory in $\mathcal L^\times $ Chapter 5. Some improvements of the equipollence results Chapter 6. Implications of the main results for semantic and axiomatic foundations of set theory Chapter 7. Extension of results to arbitrary formalisms of predicate logic, and applications to the formalization of the arithmetics of natural and real numbers Chapter 8. Applications to relation algebras and to varieties of algebras

Notes:

Bibliography: pages 273-282.

Includes indexes.

Electronic reproduction. Providence, Rhode Island : American Mathematical Society. 2012

Description based on print version record.

Other Format:

Print version: Tarski, Alfred. formalization of set theory without variables /

ISBN:

9781470431877 (online)

Access Restriction:

Restricted for use by site license.