All Questions
1 question
7
votes
1
answer
328
views
The Tarski-Lindenbaum theorem of the middle value
In Ettore Casari, La Matematica della Verita' (2006), the following theorem (attributed to Tarski and Lindenbaum 1926), is stated, which Casari calls the theorem of the middle value of Tarski-...