A negative solution of Kuznetsov's problem for varieties of bi-Heyting algebras
Abstract
We show that there exist (continuum many) varieties of bi-Heyting algebras that are not generated by their complete members. It follows that there exist (continuum many) extensions of the Heyting-Brouwer logic $\mathsf{HB}$ that are topologically incomplete. This result provides further insight into the long-standing open problem of Kuznetsov by yielding a negative solution of the reformulation of the problem from intermediate logics to extensions of $\mathsf{HB}$.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2021
- DOI:
- 10.48550/arXiv.2104.05961
- arXiv:
- arXiv:2104.05961
- Bibcode:
- 2021arXiv210405961B
- Keywords:
-
- Mathematics - Logic;
- 03B55;
- 06D20;
- 06D22;
- 03B45;
- 06E15