**UM Math Graduate Student Seminar**

Alexander Lazar*University of Miami***will present**

**Skolem's Paradox**

Friday, November 9th, 2018, 5:00pm

Ungar Building Room 402**Abstract:**

Skolem's paradox is a result in mathematical logic which seems to say "if

set theory cannot prove a contradiction, then there is a countable set

with an uncountable subset". In this talk we will give a brief

introduction to first-order logic and model theory. Using that foundation,

we will carefully read the statement of Skolem's paradox, and attempt to

understand why it is not actually a contradiction in mathematics.