Description

Book Synopsis
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 developed within the framework of a new, different and simple equational formalism, closely related to the formalism of the theory of relation algebras.

Table of Contents
The formalism $\mathcal L$of predicate logic The formalism $\mathcal L^+$, a definitional extension of $\mathcal L$ The formalism $\mathcal L^+$ without variables and the problem of its equipollence with $\mathcal L$ The relative equipollence of $\mathcal L$ and $\mathcal L^+$, and the formalization of set theory in $\mathcal L^\times$ 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 Bibliography Indices.

A Formalization of Set Theory without Variables

    Product form

    £79.20

    Includes FREE delivery

    RRP £88.00 – you save £8.80 (10%)

    Order before 4pm today for delivery by Mon 10 Aug 2026.

    A Paperback by American Mathem American Mathem

    1 in stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of A Formalization of Set Theory without Variables by American Mathem American Mathem

      Publisher: MP-AMM American Mathematical
      Publication Date: Publication Date: 12/30/1987 12:00:00 AM
      ISBN13: 9780821810415, 978-0821810415
      ISBN10: 0821810413

      Description

      Book Synopsis
      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 developed within the framework of a new, different and simple equational formalism, closely related to the formalism of the theory of relation algebras.

      Table of Contents
      The formalism $\mathcal L$of predicate logic The formalism $\mathcal L^+$, a definitional extension of $\mathcal L$ The formalism $\mathcal L^+$ without variables and the problem of its equipollence with $\mathcal L$ The relative equipollence of $\mathcal L$ and $\mathcal L^+$, and the formalization of set theory in $\mathcal L^\times$ 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 Bibliography Indices.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account