Are there inductive classes that are closed under MacNeille completions but not closed under taking canonical extensions?

For Boolean algebras with operators, we know that if a variety/universal class of BAOs is closed under taking MacNeille completions, then it is also closed under taking canonical extensions....

28 December 2021 3,604 0 View