Is there any calculus whose algebraization is a sigmacomplete Lindenbaum algebra, i.e., a sigmacomplete Boolean algebra after identification of equivalent formulas?

$\begingroup$ Could you clarify a little more exactly what you want? I believe that any Boolean algebra can arise as a Lindenbaum algebra for some suitably chosen firstorder theory. And do you really want it to be $\sigma$complete? In that case, it can't be countably infinite, since there is no countably infinite $\sigma$complete Boolean algebra. Once the algebra is infinite, you get a countable antichain, and then if it is $\sigma$complete, you will find continuum many elements arising as joins of subsets of that antichain. $\endgroup$ – Joel David Hamkins Mar 31 '14 at 20:50

$\begingroup$ Joel, do you have a proof of your first assertion? for propositional theories is obvious, but for a firstorder theory I'm not even sure it's true... $\endgroup$ – godelian Mar 31 '14 at 21:26

$\begingroup$ Let's see, I had in mind to build the theory out of the Boolean algebra itself, but I didn't think it all the way through. But I don't understand your comment, since I thought the problem was: given a Boolean algebra $\mathbb{B}$, find a firstorder language and a theory $T$ in that language, such that the collection of formulas, modulo provable equivalence in $T$, is a copy of $\mathbb{B}$. Is that true? $\endgroup$ – Joel David Hamkins Mar 31 '14 at 21:32

$\begingroup$ Yes, that was the assertion I was referring to. Is that true? Sorry, I cannot see it immediately, perhaps it's obvious to you... $\endgroup$ – godelian Mar 31 '14 at 22:21

$\begingroup$ I had thought it would be easy, but now I'm not sure whether it is true or not... $\endgroup$ – Joel David Hamkins Mar 31 '14 at 22:33
There is no countably infinite $\sigma$complete Boolean algebra. Once the Boolean algebra is infinite, it must have an countably infinite antichain $A\subset\mathbb{B}$, and then by $\sigma$completeness every subset $X\subset A$ will have a distinct join $\bigvee X$, making the Boolean algebra $\mathbb{B}$ have size at least continuum.
Perhaps you meant something else...?


$\begingroup$ Yes, I had noticed that, but of course, the finite Boolean algebras are trivially realized as Lindenbaum algebras. For example, in the theory asserting that there are exactly $n$ objects, with $n$ distinct constants $c_i$ and one more constant $d$, which must be one of the $c_i$. The assertions $d=c_i$ are atoms, and every assertion is some Boolean combination of the these atoms. $\endgroup$ – Joel David Hamkins Apr 1 '14 at 11:30

$\begingroup$ Or: the theory $T$ asserting that one of $n$ distinct finitelyaxiomatizable complete theories holds. Each such theory is an atom, and every statement will be a join of atoms. $\endgroup$ – Joel David Hamkins Apr 1 '14 at 12:47