All Questions
3 questions
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-...
- 639
6
votes
0
answers
554
views
Is this property a new large cardinal notion?
Given a cardinal $\kappa$, $\kappa$-complete lattices are lattices that have joins and meets of less than $\kappa$ elements (in particular they are bounded). In what follows we shall restrict to the ...
- 5,902
5
votes
1
answer
1k
views
Can the Knaster-Tarski theorem be proved using the Schroeder-Bernstein theorem?
The reverse can be done easily and the proof is well known I am wondering if the exact same argument can be used to prove reverse as well.
- 51