Back-and-forth types for Boolean algebras
Our objective is to uncover the
structure of the back-and-forth equivalence classes at
the finite levels for the class of Boolean algebras.
On the n-Back-and-Forth types
of Boolean Algebras. In submission.
- [txt] Back-and-forth types through level 6 (text file).
- [jar] Boolean.jar -- Java jar file for
generating back-and-forth types. The main routine is found
in the Java class Boolean.java. Producing the bf-types through
level 5 takes a couple seconds; producing the bf-types through level
6 (1578 elements) may take several hours.