User:Randall Holmes

To find who I am, look at my home page. Briefly, I am a mathematical logician specializing in Willard van Orman Quine's set theory New Foundations and related systems of set theory, and also in automated reasoning, in the Math Department at Boise State University, Boise, Idaho, USA.

I largely rewrote the articles New Foundations (basically a new article -- actually, looking at the history I think I started this article a long time ago), positive set theory and Morse-Kelley set theory, and started the article Implementation of mathematics in set theory.

Future projects: relation algebra (as in Tarski and Givant); expand the alternative set theory article to include an account of Vopenka's theory.