Abstract
Alfred Tarski in 1953 formalized set theory in the equational theory of relation algebras [Tar,53a, Tar,53b]. Why did he do so? Because the equational theory of relation algebras (RA) corresponds to a logic without individual variables, in other words, to a propositional logic. This is why the title of the book [Tar-Giv,87] is “Formalizing set theory without variables”. Tarski got the surprising result that a propositional logic can be strong enough to “express all of mathematics”, to be the arena for mathematics. The classical view before this result was that propositional logics in general were weak in expressive power, decidable, uninteresting in a sense. By using the fact that set theory can be built up in it, Tarski proved that the equational theory of RA is undecidable. This was the first propositional logic shown to be undecidable.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 János Bolyai Mathematical Society and Springer-Verlag
About this chapter
Cite this chapter
Andréka, H., Németi, I. (2013). Reducing First-order Logic to Df3, Free Algebras. In: Andréka, H., Ferenczi, M., Németi, I. (eds) Cylindric-like Algebras and Algebraic Logic. Bolyai Society Mathematical Studies, vol 22. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35025-2_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-35025-2_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-35024-5
Online ISBN: 978-3-642-35025-2
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)