Skip to main content
MathOverflow

Return to Question

Post Closed as "Needs details or clarity" by Andrés E. Caicedo, Ricardo Andrade, Joseph Van Name, Ryan Budney, Andrey Rekalo
Edit: changed countable with sigma-complete (including in title)
Source Link
edit approved Apr 1, 2014 at 10:06
Community Bot
edit approved Apr 1, 2014 at 10:06
Community Bot
  • 1
  • 2
  • 3

Countable Sigma-complete Lindenbaum algebras?

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

Countable Lindenbaum algebras?

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

Sigma-complete Lindenbaum algebras?

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

Source Link
John R.
John R.
  • 21
  • 1

Countable Lindenbaum algebras?

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