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