Price loading...

A Formalization of Set Theory without Variables (Colloquium Publications)

Mathematics

Price data last checked 108 day(s) ago - refreshing...

View at Amazon

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

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. The authors show that set theory and number theory can be developed within the framework of a new, different, and simple equational formalism, closely related to the formalism of the theory of relation algebras. There are no variables, quantifiers, or sentential connectives.Predicates are constructed from two atomic binary predicates (which denote the relations of identity and set-theoretic membership) by repeated applications of four operators that are analogues of the well-known operations of relative product, conversion, Boolean addition, and complementation. All mathematical statements are expressed as equations between predicates. There are ten logical axiom schemata and just one rule of inference: the one of replacing equals by equals, familiar from high school algebra. Though such a simple formalism may appear limited in its powers of expression and proof, this book proves quite the opposite. The authors show that it provides a framework for the formalization of practically all known systems of set theory, and hence for the development of all classical mathematics.This book contains numerous applications of the main results to diverse areas of foundational research: propositional logic; semantics; first-order logics with finitely many variables; definability and axiomatizability questions in set theory, Peano arithmetic, and real number theory; representation and decision problems in the theory of relation algebras; and, decision problems in equational logic.

Product Specifications

Format: paperback
ASIN: 0821810413
Category: Books > Subjects > Science, Nature & Maths > Mathematics
Domain: Amazon UK
Release Date: 15 December 1987
Listed Since: 22 January 2007

Barcode

No barcode data available

A Formalization of Set Theory without Variables (Colloquium Publications)

Price History & Forecast

No Price Data Available

Price Distribution

Description

Product Specifications

Barcode

Similar Products You Might Like

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

The Forcing Method in Set Theory: An Introduction via Boolean Valued Logic: 168 (UNITEXT, 168)

Combinatorial Set Theory: With a Gentle Introduction to Forcing (Springer Monographs in Mathematics)

Logic and Combinatorics: Joint Summer Research Conference on Applications of Mathematical Logic to Finite Combinatorics (Contemporary Mathematics)

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

A First Course in Mathematical Logic and Set Theory

Logic for Applications (Texts in Computer Science)

Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

Introduction to Mathematical Logic: Extended Edition

Proofs and Fundamentals: A First Course in Abstract Mathematics: 0 (Undergraduate Texts in Mathematics)

Proofs and Fundamentals: A First Course in Abstract Mathematics (Undergraduate Texts in Mathematics)

Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)

Intuitive Axiomatic Set Theory (Textbooks in Mathematics)

Invariant Descriptive Set Theory (Pure and Applied Mathematics)

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

Computability Theory and Its Applications: Current Trends and Open Problems (Contemporary Mathematics)

Invariant Descriptive Set Theory (Pure and Applied Mathematics)

Hiroakira Ono on Substructural Logics: 23 (Outstanding Contributions to Logic, 23)

Studies and Exercises in Formal Logic (Languages and Linguistics)

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics: 21 (Outstanding Contributions to Logic, 21)

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures

Introduction to Cardinal Arithmetic (Birkhäuser Advanced Texts Basler Lehrbücher)