Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Bart Kastermans
2010 – today
- 2012
[j8]John Harding, Bart Kastermans, Keith A. Kearnes, J. Donald Monk, Ágnes Szendrei: The 3rd International Conference on Boolean Algebra, Lattice Theory, Universal Algebra, Set Theory and Set-theoretical Topology - BLAST 2010. Order 29(2): 229-230 (2012)- 2010
- [j7]Bart Kastermans, Steffen Lempp: Comparing notions of randomness. Theor. Comput. Sci. 411(3): 602-616 (2010)
2000 – 2009
- 2009
- [j6]Bart Kastermans: An Example of a Cofinitary Group in Isabelle/HOL. Archive of Formal Proofs 2009 (2009)
- [j5]Bart Kastermans: Isomorphism types of maximal cofinitary groups. Bulletin of Symbolic Logic 15(3): 300-319 (2009)
- [j4]Carl G. Jockusch Jr., Bart Kastermans, Steffen Lempp, Manuel Lerman, Reed Solomon: Stability and posets. J. Symb. Log. 74(2): 693-711 (2009)
- [j3]Rodney G. Downey, Bart Kastermans, Steffen Lempp: On computable self-embeddings of computable linear orderings. J. Symb. Log. 74(4): 1352-1366 (2009)
- 2008
- [j2]Bart Kastermans, Juris Steprans, Yi Zhang: Analytic and coanalytic families of almost disjoint functions. J. Symb. Log. 73(4): 1158-1172 (2008)
- 2006
- [j1]Bart Kastermans, Yi Zhang: Cardinal invariants related to permutation groups. Ann. Pure Appl. Logic 143(1-3): 139-146 (2006)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 21:26 CET by the dblp team