|
" A formalization of set theory without variables / "
by Alfred Tarski and Steven Givant.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
950379
|
| Doc. No
|
:
|
b704749
|
| Main Entry
|
:
|
Tarski, Alfred,1901-1983.
|
| Title & Author
|
:
|
A formalization of set theory without variables /\ by Alfred Tarski and Steven Givant.
|
| Publication Statement
|
:
|
Providence, R.I. :: American Mathematical Society,, ©1987.
|
| Series Statement
|
:
|
Colloquium publications,; vol. 41
|
| Page. NO
|
:
|
xxi, 318 pages :: illustrations ;; 26 cm.
|
| ISBN
|
:
|
0821810413
|
|
|
:
|
: 9780821810415
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references (pages 273-282), and indexes.
|
| 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.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Logic, Symbolic and mathematical.
|
| Subject
|
:
|
Set theory.
|
| Subject
|
:
|
Logic, Symbolic and mathematical.
|
| Subject
|
:
|
Ensembles, Théorie des.
|
| Subject
|
:
|
Logique symbolique et mathématique.
|
| Subject
|
:
|
Axiomatische Mengenlehre
|
| Subject
|
:
|
Logic, Symbolic and mathematical.
|
| Subject
|
:
|
Mathematische Logik
|
| Subject
|
:
|
Mengenlehre
|
| Subject
|
:
|
Set theory.
|
| Subject
|
:
|
Teoria Dos Conjuntos.
|
| Subject
|
:
|
Axiomatische Mengenlehre.
|
| Subject
|
:
|
Mathematische Logik.
|
| Subject
|
:
|
Mengenlehre.
|
| Subject
|
:
|
Verzamelingen (wiskunde)
|
| Dewey Classification
|
:
|
511.3/22
|
| LC Classification
|
:
|
QA248.T37 1987
|
| NLM classification
|
:
|
*03E30msc
|
|
|
:
|
03-02msc
|
|
|
:
|
31.10bcl
|
|
|
:
|
CC 2600rvk
|
|
|
:
|
MAT 040fstub
|
|
|
:
|
PB 87blsrissc
|
|
|
:
|
SK 130rvk
|
|
|
:
|
SK 150rvk
|
|
|
:
|
SK 155rvk
|
| Added Entry
|
:
|
Givant, Steven R.
|
| |