Skip to Main Content

The Set Theory research group at Boise State

The department members who do research in Set Theory are Liljana Babinkostova, John Clemens (visitor), Samuel Coskey, Randall Holmes, and Marion Scheepers.Set Theory Picture

Recent visiting faculty include Masaru Kada (Osaka Prefecture University), Bruno Pansera (University of Messina), and Rodrigo Roque Dias (São Paolo).

Set Theory Seminar

The set theory and logic seminar meets most weeks to discuss our ongoing research and the research of others in our field. Students are invited and encouraged to attend.

BEST conference

The set theory group at BSU hosted the BEST conference (Boise Extravaganza in Set Theory) each Spring from 1992 to 2010. The conference was hosted in the Summer from 2013 to 2015. The organizers have also compiled and edited two proceedings volumes of Contemporary Mathematics, containing articles by BEST participants.

Graduate program

Boise State University offers a master’s degree program in mathematics. Visit this page to read general information about the program in general. Graduate courses in set theory and logic available at Boise State include:

  • MATH 402/502: Logic and Set Theory (Spring)
  • MATH 522: Advanced Set Theory (Fall)
  • MATH 580/581: Topics in Set Theory or Logic (run as needed)
  • Independent study (run as needed)

Notes from past courses

  • Sam’s notes for the Fall 2014 edition of MATH 522
  • Andrés Caicedo’s notes for the Fall 2009 edition of MATH 502
  • Andrés Caicedo’s notes for the Spring 2009 edition of MATH 580
  • Stefan Geschke’s notes for the Spring 2008 edition of Math 580
  • Randall’s notes for the Spring 2008 edition of Math 502

Our graduates

Name Thesis Defense Advisor
Kyle Beserra On the conjugacy problem for automorphisms of trees Spring 2016 Samuel Coskey
Shehzad Ahmed Co-analytic determinacy and sharps Spring 2014 Andrés Caicedo
Summer Kisner Schur’s Theorem and related problems in Ramsey theory Spring 2012 Andrés Caicedo
Thomas A. Ch. Chartier Coloring Problems Fall 2011 Andrés Caicedo
Trevor Jack Incomparable metrics on the Cantor space Spring 2008 Stefan Geschke
Billy Hudson A canonical Countryman line Spring 2007 Justin Moore

Faculty Research Interests

Liljana Babinkostova‘s set theory research interests include set-theoretic topology, covering properties, topological games and covering dimension.

Samuel Coskey’s set theory research interests include descriptive set theory and Borel complexity theory, and applications of these to other areas such as group theory, model theory, analysis, and combinatorics.

Randall Holmes has parallel research programs in computer assisted reasoning and in set theories and other logical systems related to Quine’s “New Foundations” (NF), especially Jensen’s set theory NFU. In computer assisted reasoning, Holmes has developed the Watson theorem prover, an interactive equational theorem prover which uses a stratified lambda-calculus related to NFU as its higher order logic.

Marion Scheepers‘ set theory research interests include set-theoretic topology, combinatorics, game theory, and Ramsey theory.

Set Theory Resources