Recent and upcoming talks by Randall Holmes

Randall Holmes: Constructing proofs with a dependent type checker

Tuesday, October 25 from 3 to 4pm Room: MB 124 Speaker: Randall Holmes (BSU) Title: Constructing proofs with a dependent type checker Abstract: I’ll discuss my latest theorem proving work, and present examples. continue reading…

Randall Holmes: Consistency of New Foundations

Wednesday, December 9 from 3 to 4pm Room: MP 207 Speaker: Randall Holmes (BSU) Title: Consistency of New Foundations Abstract: This will be the first of three or four talks which will give an account of my consistency proof for Quine’s system of set theory New Foundations (proposed by W. continue reading…

Randall Holmes: Preliminaries for Proving the Consistency of NF

Wednesday, February 11 from 3 to 4pm Room: Math 124 Speaker: Randall Holmes (BSU) Title: Preliminaries for Proving the Consistency of NF Abstract: We will discuss some preliminary machinery intended for use in a consistency proof of Quine’s set theory New Foundations. continue reading…

Randall Holmes: On hereditarily small sets

Tuesday, January 27 from 2 to 3pm Room: Mathematics 136 Speaker: Randall Holmes (BSU) Title: On hereditarily small sets Abstract: Jech showed in 1982 that $H(\omega_1)$, the collection of hereditarily countable sets, is a set in ZF. continue reading…

Randal Holmes: Urysohn space, space-filling curves, and isometric embeddings

Boise Set Theory Seminar Thursday, March 21 from 1:30 to 2:30pm Room B-309 Title: Of the Urysohn Space $U$, Space-Filling Curves, and Isometric Embeddings of $U$ in $C[0,1]$ Speaker: M. Randall Holmes Dr Coskey recently discussed the universal separable metric space of Urysohn. continue reading…

Randal Holmes: An introduction to Quine’s New Foundations

Date: October 22 Time: 10:30 a.m. – 11:45 a.m. Room: MP 210 Speaker: Randall Holmes Title: An Introduction to Quine’s New Foundations I will present definitions of the theories TST (the simple theory of types) and NF (New Foundations, a set theory proposed by W. continue reading…