MIG is a cooperative initiative of the Front Range Formal Logicians started in the Fall of 2009. Logicians from the math departments at University of Colorado at Boulder, Denver University, and Colorado State University at Fort Collins gather twice each semester to share research, projects, ideas, and in general to interact. The three institutions take turns hosting the event. After the successful MIG1 in Boulder, MIG2 in Denver, and MIG3 in Fort Collins, MIG 4 will be held in Boulder on Saturday, April 3, 2010. For info on all talks and available slides see the MIG all page.
MIG 4 will be in room MATH 350.
|
10:30 - 11:30:
Natasha Dobrinen Title: Further understanding of the structure of Tukey types of ultrafilters This is joint work with Stevo Todorcevic. An ultrafilter $\mathcal{U}$ is said to be Tukey above an ultrafilter $\mathcal{V}$ if there is a monotone cofinal map from $\mathcal{U}$ into $\mathcal{V}$. We briefly review previous results and present some new findings on initial segments of Tukey types of ultrafilters. |
| 11:30 - 12:00: coffee and cookies. | |
|
12:00 - 13:00: Jan
Mycielski Title: Some applications of Hilbert's epsilon-symbols The introduction of epsilon-symbols by Hilbert in 1923 (apparently independent from the work of Skolem), was a revolutionary step. It demoted Brouwer's criticism of formalism and proved that the term formalism is a misnomer. I will outline this story and the contribution of Skolem, and try to explain its absence from current accounts of Logic and Foundations. I will give also a new application: a mathematical definition of the mental structures supporting descriptive knowledge. |
| 13:00: Lunch at Rincon Del Sol. |
