The main goal of this experimental math lab was to understand and compute invariants associated with a shift of finite type. In regard to the first of these goals, the PhD students involved in the ...

Fraenkel-Mostowski set theory represents an alternative set theory with multiple applications in mathematics and computer science. It deals with ‘finitely supported sets’ instead of ‘sets’. The ...

This result means that the infinite apparatus in RT 2 2 can be wielded to prove new facts in finitistic mathematics, forming a surprising bridge between the finite and the infinite.