Is there any calculus whose algebraization is a countable Lindenbaum algebra, i.e., a sigma-complete Boolean algebra after identification of equivalent formulas?
Countable Lindenbaum algebras?
John R.
- 21
- 1