Skip to Main Content

Set Theory and Logic at Boise State University


Liljana Babinkostova
Research: set-theoretic topology, selection principles, covering properties, covering dimension.

John ClemensJohn Clemens
Research: Descriptive set theory, Borel complexity theory, computability theory, and applications to ergodic theory and analysis.

Samuel Coskey
Research: Borel complexity theory and applications its applications to group theory, model theory, analysis, and combinatorics.

Randall Holmes
Research: Quine’s New Foundations NF and related theories such as Jensen’s NFU, and computer-assisted reasoning.

Marion Scheepers
Research: set theory, set-theoretic topology, selection principles, game theory, and combinatorics.

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

Seminars and conferences

The Set Theory Seminar meets most weeks to discuss our ongoing research in set theory and logic, and the research of others in these fields. Students are invited and encouraged to attend.

The Boise Extravaganza in Set Theory (BEST) conference has long been a tradition of the Boise set theorists.

Graduate program

Boise State University offers a master’s degree program in mathematics. 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)

Our graduates

Notes from past courses

Set theory resources

Set Theory Picture