Research output

1. The 2-Decidability of Boolean Algebras with One Distinguished Ideal

   Research output: Contribution to journal › Article › peer-review

2. Relatively Intrinsically Computable Relations on Boolean Algebras with a Distinguished Set of Atoms

   Research output: Contribution to journal › Article › peer-review

View all (2) »