# Set Theory and Logic at Boise State University

### Faculty

**Liljana Babinkostova**

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

**John 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 and Logic 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. Also visit the program archive of past BEST conferences.

### 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

**Gianni Krakoff**, Computable Reducibility of Equivalence Relations. Supervised by Samuel Coskey and John Clemens, Spring 2019.**Stephanie Potter**, Classification of vertex-transitive structures. Supervised by Samuel Coskey and John Clemens, Spring 2017.**Samuel Dworetzky**, The classification problem for models of ZFC. Supervised by Samuel Coskey, Spring 2017.**Kyle Beserra**, On the conjugacy problem for automorphisms of trees. Supervised by Samuel Coskey, Spring 2016.**Shehzad Ahmed**, Co-analytic determinacy and sharps. Supervised by Andrés Caicedo, Spring 2014.**Summer Kisner**, Schur’s Theorem and related problems in Ramsey theory. Supervised by Andrés Caicedo, Spring 2012.**Thomas A. Ch. Chartier**, Coloring Problems. Supervised by Andrés Caicedo, Fall 2011.**Cap Petschulat**, Transparency in Formal Proof. Supervised by Randall Holmes, Spring 2009.**Trevor Jack**, Incomparable metrics on the Cantor space. Supervised by Stefan Geschke, Spring 2008.**Joanna Porter Guild**, Theorem proving in elementary analysis. Supervised by Randall Holmes, Spring 2007.**Billy Hudson**, A canonical Countryman line. Supervised by Justin Moore, Spring 2007.

### Notes from past courses

- Randall’s notes for Math 502, Spring 2017
- Sam’s notes for MATH 522, Fall 2014
- Andrés Caicedo’s notes for MATH 502, Fall 2009
- Andrés Caicedo’s notes for MATH 580, Spring 2009
- Stefan Geschke’s notes for Math 580, Spring 2008