Contact Information

Department of Mathematical Sciences
University of Nevada, Las Vegas
Las Vegas, Nevada, 89154-4020, USA
Office Phone # (702) 895-0382
Fax # (702) 895-4343
Office: CSC 924

Education

• 1987 Ph.D. Mathematics University of California at Los Angeles
Thesis in set theory, under the direction of Professor Donald A. Martin.
• 1982 M.A. Mathematics University of California at Los Angeles
• 1979 B.A. Mathematics California State University at Long Beach
• 1977 Graduated from Leuzinger High School in Lawndale, CA

Research Interests

• Set Theory and Determinacy

Set Theory Seminar

• February 27, 2009 Set Theory Seminar with Derrick DuBose: 3-Player Open Games
• March 6, 2009 Set Theory Seminar with Doug Burke: Determinancy of Open Games (All Lengths; II's Moves From a Finite Set)
• March 13, 2009 Set Theory Seminar with Derrick DuBose: (Pi^0_1)^ * Determinancy with Introductory Material

Hosted Conference

• Association for Symbolic Logic, 2002

Masters Students/Theses

• Deborah Fraker 2001
• Christine McKenna 2005
• Christine McKenna thesis (.pdf)

National Science Foundation Grant

• Joint with Douglas Burke, entitled Determinacy, Inner Models, and Generic Embeddings, July 1996 through June 2000, $92,967, DMS 96-26212.

Publications in Refereed Journals

• [Du1] The Equivalence of Determinacy and Iterated Sharps, Journal of Symbolic Logic, Volume 55, Number 2, June 1990, pages 502-525.
• [Du2] Determinacy and the Sharp Function on the Reals, Annals of Pure and Applied Logic, Volume 55, 1992, pages 237-263. This paper originally appeared on pages 59-85 in Volume 54 (1991) with a printer's error on pages 77-80.
• [Du3] Determinacy and Extended Sharp Functions on the Reals, Part II: Obtaining Sharps from Determinacy, Annals of Pure and Applied Logic, Volume 58, 1992, pages 1-28.
• [Du4] Determinacy and the Sharp Function on Objects of Type k, Journal of Symbolic Logic, Volume 60, Number 4, 1995, pages 1025-1053.

Manuscript 4 (December 1990 version; figures 1-6 not yet included)

• December 1990 pages 1-17 (4AA.DVI)
• December 1990 pages 1-17 (4AA.PDF)
• December 1990 pages 18-34 (4BA2.DVI)
• December 1990 pages 18-34 (4BA2.PDF)
• December 1990 pages 35-57 (4B.DVI)
• December 1990 pages 35-57 (4B.PDF)
• December 1990 pages 58-71 (4C.DVI)
• December 1990 pages 58-71 (4C.PDF)
• December 1990 pages 72-87 (4DE.DVI)
• December 1990 pages 72-87 (4DE.PDF)
• December 1990 pages 89-103 (4FG.DVI)
• December 1990 pages 89-103 (4FG.PDF)
• December 1990 pages 104-116 (8A2.DVI)
• December 1990 pages 104-116 (8A2.PDF)
• December 1990 pages 117-129 (8B2.DVI)
• December 1990 pages 117-129 (8B2.PDF)
• December 1990 pages 130-147 (9A4.DVI)
• December 1990 pages 130-147 (9A4.PDF)
• December 1990 pages 148-161 (9B2.DVI)
• December 1990 pages 148-161 (9B2.PDF)
• December 1990 pages 162-176 (9F2.DVI)
• December 1990 pages 162-176 (9F2.PDF)
• December 1990 pages 177-199 (9G.DVI)
• December 1990 pages 177-199 (9G.PDF)

Manuscript 4 (Summer 1997 version; figures 1-6 not yet included)

• Summer 1997 pages 1-8 (M4 SECO.DVI)
• Summer 1997 pages 1-8 (M4 SECO.PDF)
• Summer 1997 pages 1-10 (M4 SECOB.DVI)
• Summer 1997 pages 1-10 (M4 SECOB.PDF)
• Summer 1997 pages 9-18 (M4 SEC1A.DVI)
• Summer 1997 pages 9-18 (M4 SEC1A.PDF)
• Summer 1997 pages 19-27 (M4 SEC1B.DVI)
• Summer 1997 pages 19-27 (M4 SEC1B.PDF)
• Summer 1997 pages 28-34 (M4 SEC2A.DVI)
• Summer 1997 pages 28-34 (M4 SEC2A.PDF)
• Summer 1997 pages 35-41 (M4 SEC2B.DVI)
• Summer 1997 pages 35-41 (M4 SEC2B.PDF)
• Summer 1997 pages 42-47 (M4 SEC2B1.DVI)
• Summer 1997 pages 42-47 (M4 SEC2B1.PDF)
• Summer 1997 pages 48-55 (M4 SEC3B2.PDF)
• Summer 1997 page 56 (M4 REF97.PDF)

Manuscript 8: Determinacy and the sharp function on all sets (September 3 version 1995)

• September 1995 pages 1-6 (PAPER8A.dvi)
• September 1995 pages 1-6 (PAPER8A)
• September 1995 pages 7-12 (PAPER8C.DVI)
• September 1995 pages 7-12 (PAPER8C)
• September 1995 pages 13-20 (PAPER8B.DVI)
• September 1995 pages 13-20 (PAPER8B)
• September 1995 pages 21-27 (PAPER8D.DVI)
• September 1995 pages 21-27 (PAPER8D)
• September 1995 page 28 (REF1.DVI)
• September 1995 page 28 (REF1)

Math 182

• Spring 2005 Math 182 Syllabus
• Spring 2005 Math 182 Homework
• Fall 2005 Math 182 Syllabus
• Fall 2005 Math 182 Quiz 1-4
• Fall 2005 Math 182 Quiz 5-7
• Fall 2005 Math 182 Quiz 8-10 Handout
• Fall 2005 Math 182 Test 1C
• Fall 2005 Math 182 Test 2B
• Fall 2005 Math 182 Test 3BD
• Fall 2005 Math 182 Final B

Math 707

• Fall 2008 MAT 707 Syllabus
• Fall 2008 MAT 707 Quiz 1
• Fall 2008 MAT 707 Quiz 4
• Fall 2008 MAT 707 Quiz 13
• Fall 2008 MAT 707 Test 2
• Fall 2008 MAT 707 Test 3
• Fall 2008 MAT 707 Final
• Fall 1997 MAT 707 Test 2
• Fall 1997 MAT 707 Final
• Fall 1995 MAT 707 Test 1
• Fall 1995 MAT 707 Test 2a
• Fall 1995 MAT 707 Test 2b
• Fall 1995 MAT 707 Final

Math 452

• MAT 452 homework problem (.DVI)
• Spring 1992 MAT 452 homework problem (.DVI)
• Spring 1993 MAT 452 homework problem (.DVI)
• Spring 1992 MAT 452 Test 1 (.DVI)
• Spring 1993 MAT 452 Test 1
• Spring 1995 MAT 452 Test 2

Math 251

• Fall 2004 MAT 251 Final Review (.WRD)
• Fall 1995 MAT 251 Final (.DVI)
• Fall 1995 MAT 251 Test 1 (.DVI)
• Fall 1995 MAT 251 Test 1 (.PDF)
• Spring 1994 MAT 251 Final (.DVI)
• Fall 1995 MAT 251 Test 2 (.DVI)
• Fall 1995 MAT 251 Test 2 (.PDF)
• Fall 1993 MAT 251 Final (.DVI)
• Fall 1995 MAT 251 Homework Set 2 (.DVI)
• Fall 1994 MAT 251 Test 2 (.DVI)
• Spring 1994 MAT 251 Test 2 (.DVI)
• Fall 1990 MAT 251 Final (.DVI)
• Fall 1990 MAT 251 Test 2 (.DVI)
• Fall 1995 MAT 251 Homework (.DVI)
• Fall 1994 MAT 251 Homework (.DVI)
• Fall 1993 MAT 251 Homework (.DVI)

---

"I mean the word proof not in the sense of the lawyers, who set two half proofs equal to a whole one, but in the sense of a mathematician, where half proof = 0, and it is demanded for proof that every doubt becomes impossible."
--- Gauss, Karl Friedrich