Bart Kastermans

According to our database, Bart Kastermans authored at least 8 papers between 2006 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2012

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

2010

Comparing notions of randomness.

Bart Kastermans, Steffen Lempp

Theor. Comput. Sci., 2010

2009

Stability and posets.

Carl G. Jockusch Jr., Bart Kastermans, Steffen Lempp, Manuel Lerman, Reed Solomon

J. Symb. Log., 2009

On computable self-embeddings of computable linear orderings.

Rodney G. Downey, Bart Kastermans, Steffen Lempp

J. Symb. Log., 2009

Isomorphism types of maximal cofinitary groups.

Bart Kastermans

Bull. Symb. Log., 2009

An Example of a Cofinitary Group in Isabelle/HOL.

Bart Kastermans

Arch. Formal Proofs, 2009

2008

Analytic and coanalytic families of almost disjoint functions.

Bart Kastermans, Juris Steprans, Yi Zhang

J. Symb. Log., 2008

2006

Cardinal invariants related to permutation groups.

Bart Kastermans, Yi Zhang

Ann. Pure Appl. Log., 2006