Is there any calculus whose algebraization is a sigma-complete Lindenbaum algebra, i.e., a sigma-complete Boolean algebra after identification of equivalent formulas?
2 of 2
Edit: changed countable with sigma-complete (including in title)
Sigma-complete Lindenbaum algebras?
John R.
- 21
- 1