Cardinal invariants related to permutation groups. - Bart Kastermans; Yi Zhang 008 (Ann. Pure Appl. Log., 2006)

Analytic and coanalytic families of almost disjoint functions. - Bart Kastermans; Juris Steprans; Yi Zhang 008 (J. Symb. Log., 2008)

An Example of a Cofinitary Group in Isabelle/HOL. - Bart Kastermans (Arch. Formal Proofs, 2009)

Isomorphism types of maximal cofinitary groups. - Bart Kastermans (Bull. Symb. Log., 2009)

On computable self-embeddings of computable linear orderings. - Rodney G. Downey; Bart Kastermans; Steffen Lempp (J. Symb. Log., 2009)

Stability and posets. - Carl G. Jockusch Jr.; Bart Kastermans; Steffen Lempp; Manuel Lerman; Reed Solomon (J. Symb. Log., 2009)

Comparing notions of randomness. - Bart Kastermans; Steffen Lempp (Theor. Comput. Sci., 2010)

The 3rd International Conference on Boolean Algebra, Lattice Theory, Universal Algebra, Set Theory and Set-theoretical Topology - BLAST 2010. - John Harding; Bart Kastermans; Keith A. Kearnes; J. Donald Monk; Ágnes Szendrei (Order, 2012)