This page was last updated on January 24, 2007 and is now out-of-date. The current web page for the Penn State Logic Seminar is here.

- Mathematical Logic at Penn State
- Programming Languages at Penn State
- Linguistics at Penn State
- A mailing list for Foundations of Mathematics

- Tuesday, February 13. Natasha Dobrinen
(University of Vienna, Mathematics).
*Co-stationarity of the ground model*.

- Tuesday, October 3.
Bjorn
Kjos-Hanssen (Cornell, Mathematics).
*Schnorr random paths of Brownian motion*. - Tuesday, October 17.
Carl Mummert
(University of Michigan,
Mathematics).
*Reverse mathematics and weak combinatorial principles*.

- Tuesday, January 31. John Clemens (Penn
State, Mathematics).
*Weakly Pointed Trees and Partial Injections*, part 1. - Tuesday, February 7. John Clemens (Penn
State, Mathematics).
*Weakly Pointed Trees and Partial Injections*, part 2. - Tuesday, April 4. Esteban Gomez-Riviere
(Penn State, Mathematics).
*Introduction to K-Trivial Reals*, part 1. - Tuesday, April 11. Esteban Gomez-Riviere
(Penn State, Mathematics).
*Introduction to K-Trivial Reals*, part 2. - Tuesday, April 18. Esteban Gomez-Riviere
(Penn State, Mathematics).
*Introduction to K-Trivial Reals*, part 3. - Tuesday, April 25. Esteban Gomez-Riviere
(Penn State, Mathematics).
*Introduction to K-Trivial Reals*, part 4.

- Tuesday, August 30. Stephen G. Simpson
(Penn State, Mathematics).
*The Reverse Mathematics of Ramsey's Theorem*, part 1. - Tuesday, September 6. Stephen G. Simpson
(Penn State, Mathematics).
*The Reverse Mathematics of Ramsey's Theorem*, part 2. - Tuesday, September 13. Stephen G. Simpson
(Penn State, Mathematics).
*The Reverse Mathematics of Ramsey's Theorem*, part 3. - Tuesday, September 20. John Clemens (Penn
State, Mathematics).
*Continuous Banach-Tarski Paradoxes*. - Tuesday, September 27. No seminar.
- Tuesday, October 4. No seminar.
- Tuesday, October
11. Carl Mummert
(Appalachian State University,
Mathematics).
*Topological Aspects of Poset Spaces*. - Tuesday, October 18. Stephen G. Simpson
(Penn State, Mathematics).
*An Introduction to Degrees of Unsolvability*, part 1. - Tuesday, October 25. Stephen G. Simpson
(Penn State, Mathematics).
*An Introduction to Degrees of Unsolvability*, part 2. - Tuesday, November 1. Stephen G. Simpson
(Penn State, Mathematics).
*An Introduction to Degrees of Unsolvability*, part 3. - Tuesday, November 8. Stephen G. Simpson
(Penn State, Mathematics).
*An Introduction to Degrees of Unsolvability*, part 4. - Tuesday, November 15. Stephen G. Simpson
(Penn State, Mathematics).
*An Introduction to Degrees of Unsolvability*, part 5. - Tuesday, November 22. No seminar today. Friday schedule.
- Tuesday, November 29. Stephen G. Simpson
(Penn State, Mathematics).
*An Introduction to Degrees of Unsolvability*, part 6. - Tuesday, December 6. Stephen G. Simpson
(Penn State, Mathematics).
*An Introduction to Degrees of Unsolvability*, part 7.

- Tuesday, May 17. Stephen G. Simpson (Penn
State, Mathematics).
*A Slick Proof of the Unsolvability of the Word Problem for Groups*. Notes in PDF format are available. - Tuesday, May 24. No seminar.
- Tuesday, May 31. No seminar.
- Tuesday, June 7. Chi-Tat Chong
(National University of Singapore, Mathematics).
*Ramsey's Theorem and Sigma_2 Induction*. - Tuesday, June 14. Andrew Arana (Kansas
State University, Philosophy).
*Purity of Methods*. - Tuesday, June 21. No seminar.
- Tuesday, June 28. Carl Mummert (Penn
State, Mathematics).
*Reverse Mathematics and Hindman's Theorem*, part 1. - Tuesday, July 5. Carl Mummert (Penn
State, Mathematics).
*Reverse Mathematics and Hindman's Theorem*, part 2. - Tuesday, July 12 - August 23. No seminar.

- Tuesday, January 11. No seminar.
- Tuesday, January 18. Charles
Boykin (Penn State DuBois, Mathematics).
*Borel Boundedness for Countable Borel Equivalence Relations*, part 2. - Tuesday, January 25. John Clemens (Penn
State, Mathematics).
*Extending Partial Automorphisms of Finite Structures*. - Tuesday, February 1. John Clemens (Penn
State, Mathematics).
*The Extension Property for Partial Automorphisms*, part 1. - Tuesday, February 8. John Clemens (Penn
State, Mathematics).
*The Extension Property for Partial Automorphisms*, part 2. - Tuesday, February 15. John Clemens (Penn
State, Mathematics).
*Fixed Points of Isometries of the Urysohn Space*. - Tuesday, February 22. Stephen G. Simpson
(Penn State, Mathematics).
*A Dichotomy for Martin-Lof Randomness*. - Tuesday, March 1. John Clemens (Penn
State, Mathematics).
*Borel Reducibility of Analytic Equivalence Relations*. - Tuesday, March 8. No seminar. Spring break.
- Tuesday, March 15. John Clemens (Penn
State, Mathematics).
*Borel Reducibility of Analytic Equivalence Relations*, part 2. - Tuesday, March 22. Stephen G. Simpson
(Penn State, Mathematics).
*Residual Finiteness and the Word Problem for Groups*. Notes in PDF format are available. - Tuesday, March 29. John Clemens (Penn
State, Mathematics).
*Potential Borel Sets and Stern Absoluteness*. - Tuesday, April 5. John Clemens (Penn
State, Mathematics).
*Borel Reducibility of Coanalytic Equivalence Relations*. - Tuesday, April 12. Carl Mummert (Penn
State, Mathematics).
*The Reverse Mathematics of Urysohn's Theorem*, part 1. - Tuesday, April 19. Carl Mummert (Penn
State, Mathematics).
*The Reverse Mathematics of Urysohn's Theorem*, part 2. - Tuesday, April 26. John Clemens (Penn
State, Mathematics).
*Separation Principles and Wadge Classes*.

- Tuesday, August 31. No seminar. Friday schedule.
- Tuesday, September 7. John Clemens (Penn
State, Mathematics).
*Structures With Many Automorphisms*. - Tuesday, September 14. Stephen G. Simpson
(Penn State, Mathematics).
*A Symmetric beta-Model*. - Tuesday, September 21. John Clemens (Penn
State, Mathematics).
*The Wadge Degrees*, part 1. - Tuesday, September 28. John Clemens (Penn
State, Mathematics).
*The Wadge Degrees*, part 2. - Tuesday, October 5. Dana S. Scott
(Carnegie Mellon University, Mathematics/Philosophy/Computer Science).
*The Algebraic Interpretation of Classical and Intuitionistic Quantifiers*. - Tuesday, October 12. John Clemens (Penn
State, Mathematics).
*Report on the North Texas Logic Conference*. - Tuesday, October 19. John Clemens (Penn
State, Mathematics).
*Fraisse Limits and Zero-One Laws*. - Tuesday, October 26. Stephen G. Simpson
and/or Rebecca Weber (Penn State, Mathematics).
*Report on a Special Session in Evanston*. - Tuesday, November 2. John Clemens (Penn
State, Mathematics).
*Generating E_0*. - Tuesday, November 9. Stephen G. Simpson
(Penn State, Mathematics).
*Randomness Relative to a Turing Oracle*, part 1. - Tuesday, November 16. Stephen G. Simpson
(Penn State, Mathematics).
*Randomness Relative to a Turing Oracle*, part 2. - Tuesday, November 23. No seminar. Thanksgiving holiday.
- Tuesday, November 30. John Clemens (Penn
State, Mathematics).
*Classifying Ultrahomogeneous Metric Spaces*. - Tuesday, December 7. Charles
Boykin (Penn State DuBois, Mathematics).
*Borel Boundedness for Countable Borel Equivalence Relations*.

- Wednesday, June 2, 311 Boucke. Carl
Mummert (Penn State, Mathematics).
*Borel Determinacy*, part 1. - Wednesday, June 9, 311 Boucke. Carl
Mummert (Penn State, Mathematics).
*Borel Determinacy*, part 2. - Wednesday, June 16, 311 Boucke. John
Clemens (Penn State, Mathematics).
*Turbulence*, part 1. - Wednesday, June 23, 311 Boucke. John
Clemens (Penn State, Mathematics).
*Turbulence*, part 2. - Wednesday, June 30, 311 Boucke. John
Clemens (Penn State, Mathematics).
*Turbulence*, part 3. - Wednesday, July 7, 317 Boucke. Natasha
Dobrinen (Penn State, Mathematics).
*The von Neumann and Maharam Problems Regarding Measure Algebras*, part 1. - Wednesday, July 14, 317 Boucke. Natasha
Dobrinen (Penn State, Mathematics).
*The von Neumann and Maharam Problems Regarding Measure Algebras*, part 2. - Wednesday, July 21, 317 Boucke. Stephen
G. Simpson (Penn State, Mathematics).
*Sharps and Projective Determinacy*, part 1. - Wednesday, July 28, 317 Boucke. Stephen
G. Simpson (Penn State, Mathematics).
*Sharps and Projective Determinacy*, part 2. - Wednesday, August 4, 317 Boucke. David H. King (Penn State,
Computer Science).
*The Curry-Howard Isomorphism*. - Wednesday, August 11, 317 Boucke. John J.
Hannan (Penn State, Computer Science).
*An Introduction to Classical Logic as a Programming Language*. - Wednesday, August 18, 312 Boucke. Esteban
Gomez-Riviere (Penn State, Mathematics).
*Scott's Isomorphism Theorem*.

- Tuesday, January 13. No seminar today.
- Tuesday, January 20. Rami Grossberg (Carnegie
Mellon University, Mathematics).
*Shelah's Categoricity Conjecture Holds for Tame AECs*. - Tuesday, January 27. Christopher Griffin
(Penn State, Mathematics and ARL).
*Discrete Event Control, an Application of Mathematical Logic to Engineering*. - Tuesday, February 3. Uri Abraham (Carnegie
Mellon University, Mathematics).
*Games on Finite Subsets of Cardinals* - Tuesday, February 10. John Clemens (Penn
State, Mathematics).
*Isometry of Polish Metric Spaces*, part 1. - Tuesday, February 17. John Clemens (Penn
State, Mathematics).
*Isometry of Polish Metric Spaces*, part 2. - Tuesday, February 24. Charles
Boykin (Penn State DuBois, Mathematics).
*Some Applications of Cubical Markers*. - Tuesday, March 2. Elizabeth Brown (James
Madison University, Mathematics).
*Some Minimality Problems*. - Tuesday, March 9. No seminar today. Spring break.
- Tuesday, March 16. Alexander
Nabutovsky (Penn State, Mathematics).
*Algorithmic Information Theory and its Applications in Geometry and Physics*. - Tuesday, March 23. Fernando Ferreira
(University of Lisbon, Mathematics and Philosophy).
*Bounded Functional Interpretation (after Gödel '58)*. - Tuesday, March 30. Stephen Binns (Penn
State, Mathematics).
*Concepts of Diminutiveness for Pi01 Classes*. - Tuesday, April 6. Natasha Dobrinen (Penn
State, Mathematics).
*Kappa-Club Sets and Games in Boolean Algebras*. - Tuesday, April 13. Rebecca
Weber (Notre Dame, Mathematics).
*Orbits and Invariance in the Lattice of Pi^0_1 Classes*. - Tuesday, April 20. Japheth
Wood (Chatham College, Mathematics).
*The Typeset of a Variety is Undecidable*. - Tuesday, April 27. Vijay Krishna (Penn State, Economics).
*Set Theory Without the Axiom of Foundation -- An Application to Game Theory*.

- Tuesday, September 9. Stephen G. Simpson
(Penn State, Mathematics).
*Almost Everywhere Domination*. - Tuesday, September 16. Christopher Griffin
(Penn State, Mathematics and ARL).
*Coloring Infinite Cardinals: Crayola Doesn't Make a Crayon That Big!*. - Tuesday, September 23. Natasha Dobrinen
(Penn State, Mathematics).
*Introduction to Boolean Algebras, Ultrafilters, and Ultraproducts*. - Tuesday, September 30,
**324 Sackett**. Dale Jacquette (Penn State, Philosophy).*Denying the Liar*. - Tuesday, October 7. John Clemens (Penn
State, Mathematics).
*Distance Sets of Polish Metric Spaces*. - Tuesday, October 14. Christopher Griffin
(Penn State, Mathematics and ARL).
*Measurable Cardinals, or, How I learned to stop worrying about ultraproducts and love elementary embeddings*. - Tuesday, October 21. Carl Mummert (Penn
State, Mathematics).
*Reverse Mathematics of Maximal Filters on Countable Partial Orders*. - Tuesday, October 28,
**324 Sackett**. Kerry Ojakian (Carnegie Mellon University, Mathematics).*The Probabilistic Method and Ramsey Theory in Bounded Arithmetic*. - Tuesday, November 4,
**324 Sackett**. Ksenija Simic (Carnegie Mellon University, Mathematics).*The Mean Ergodic Theorem in Weak Subsystems of Second Order Arithmetic*. - Tuesday, November 11,
**324 Sackett**. Katherine Thompson (Carnegie Mellon University, Mathematics).*kappa-Scattered and kappa-Dense Orders*. - Tuesday, November 18,
**324 Sackett**. Natasha Dobrinen (Penn State, Mathematics).*The Hyper-Weak Distributive Law and Related Infinitary Games in Boolean Algebras*. - Tuesday, November 25. Carl Mummert (Penn
State, Mathematics).
*An Incompleteness Theorem for beta_n-Models*. - Tuesday, December 2. No seminar today.
- Tuesday, December 9. Emily
Grosholz (Penn State, Philosophy).
*Reduction and Representation (and Representation Theory)*.

- Tuesday, January 14. No seminar today.
- Tuesday, January 21. No seminar today.
- Tuesday, January 28, 2:30 PM. Alexei Kolesnikov (CMU,
Mathematics).
*n-Simple Theories and Generalized Amalgamation*. - Tuesday, February 4, 2:30 PM, 220 Hammond. Ernest Schimmerling
(CMU, Mathematics).
*Precipitous Ideals and Collapsing Functions*. - Tuesday, February 11. Stephen Binns (Penn
State, Mathematics).
*Small Pi01 Classes*. - Tuesday, February 18. Christopher Griffin
(Penn State, ARL).
*An Introduction to Context Free Languages via Push Down Automata*. - Tuesday, February 25. Richard Mansfield
(Penn State, Mathematics).
*The Banach-Tarski Paradox*. - Tuesday, March 4. Stephen G. Simpson
(Penn State, Mathematics).
*Some Results Concerning Muchnik Degrees*, part 1. - Tuesday, March 11. No seminar today. Spring Break.
- Tuesday, March 18. Thomas
Forster (Cambridge University, Mathematics).
*AC fails in the natural analogues of V and L that model the stratified fragment of ZF*. - Tuesday, March 25. Stephen G. Simpson
(Penn State, Mathematics).
*Some Results Concerning Muchnik Degrees*, part 2. - Tuesday, April 1. Stephen G. Simpson
(Penn State, Mathematics).
*Some Results Concerning Muchnik Degrees*, part 3. - Tuesday, April 8. Natasha Dobrinen (Penn
State, Mathematics).
*A Complete Embedding of the cf$(2^{\omega})$-Cohen Algebra into the Family of Galvin-Hajnal Algebras*. - Tuesday, April 15, 10:10 AM, 116 McAllister. John
D. Clemens (Cal Tech, Mathematics).
*Classifying Borel Automorphisms up to Conjugacy*. - Tuesday, April 15, 113A Chambers Building. Vijay
Saraswat (Penn State, Computer Science and Engineering).
*The Logic of Concurrent Constraint Programming*. - Tuesday, April 22. Chris Ciesielski (West
Virginia University, Mathematics).
*Covering Property Axiom CPA, a Combinatorial Core of the Iterated Perfect Set Model*. - Tuesday, April 29. Christopher Griffin
(Penn State, ARL).
*Non-Effective Quantifier Elimination*.

- Tuesday, September 10, 2:30 PM. Natasha
Dobrinen (Penn State, Mathematics).
*Introduction to Boolean Algebras*, part 1. - Tuesday, September 17, 2:30 PM. Stephen
G. Simpson (Penn State, Mathematics).
*A Dual Form of Ramsey's Theorem*. - Tuesday, September 24, 2:30 PM. Natasha
Dobrinen (Penn State, Mathematics).
*Introduction to Boolean Algebras*, part 2. - Tuesday, October 1, 2:30 PM. Stephen Binns
(Penn State, Mathematics).
*Recursive Reducibility Relations on Pi01 subsets of the Cantor Set*, part 1. - Tuesday, October 8, 2:30 PM. Stephen Binns
(Penn State, Mathematics).
*Recursive Reducibility Relations on Pi01 subsets of the Cantor Set*, part 2. - Tuesday, October 15. No seminar today. Fall Break.
- Tuesday, October 22, 2:30 PM. Natasha
Dobrinen (Penn State, Mathematics).
*Games and Generalized Distributive Laws in Boolean Algebras*. - Tuesday, October 29, 2:30 PM. Carl
Mummert (Penn State, Mathematics).
*Kolmogorov Complexity and 1-Random Reals*, part 1. - Tuesday, November 5, 2:30 PM. Roman Kossak (CUNY,
Mathematics).
*Nonstandard Standard Systems*. - Tuesday, November 12, 2:30 PM. Carl
Mummert (Penn State, Mathematics).
*Kolmogorov Complexity and 1-Random Reals*, part 2. - Tuesday, November 19, 2:30 PM. Dale Jacquette (Penn
State, Philosophy).
*Are Irrational Lengths Artifactual?*. - Tuesday, November 26, 2:30 PM. Carl
Mummert (Penn State, Mathematics).
*Primality Testing in Polynomial Time*, part 1. - Tuesday, December 3, 2:30 PM. Carl
Mummert (Penn State, Mathematics).
*Primality Testing in Polynomial Time*, part 2. - Tuesday, December 10, 2:30 PM. Elizabeth T. Brown
(Dartmouth, Mathematics).
*Tree Forcing At Uncountable Cardinals*.

- Tuesday, January 8, 2:30 PM. No seminar this week.
- Tuesday, January 15, 2:30 PM. No seminar this week.
- Tuesday, January 22, 2:30 PM, 113 McAllister. Natasha Dobrinen (Penn
State, Mathematics).
*General Infinitary Distributive Laws and Related Games in Boolean Algebras*, part 1. - Tuesday, January 29, 2:30 PM, 113 McAllister. Natasha Dobrinen (Penn
State, Mathematics).
*General Infinitary Distributive Laws and Related Games in Boolean Algebras*, part 2. - Tuesday, February 5, 2:30 PM, 113 McAllister. Carl Mummert (Penn State, Mathematics).
*Relativizations of the P = NP Question*. - Tuesday, February 12, 2:30 PM, 113 McAllister. Pavel Naumov (Penn State
Harrisburg, Computer Science).
*Propositional Logic of Subtyping*. - Tuesday, February 19, 2:30 PM. No seminar this week.
- Tuesday, February 26, 2:30 PM, 113 McAllister. Stephen Simpson (Penn State, Mathematics).
*Recursively Enumerable Turing Degrees*. - Tuesday, March 5, 2:30 PM. No seminar. Spring break.
- Tuesday, March 12, 2:30 PM. No seminar this week.
- Tuesday, March 19, 2:30 PM, 113 McAllister. Monica Van Dieren
(Carnegie Mellon University, Mathematics).
*Towards a Version of Morley's Theorem for Abstract Elementary Classes*. - Tuesday, March 26, 2:30 PM. Stephen Binns
(Penn State, Mathematics).
*A Splitting Theorem for Muchnik and Medvedev Degrees*. - Tuesday, April 2, 2:30 PM. No seminar today. Faculty meeting.
- Tuesday, April 9, 2:30 PM. To be announced.
- Tuesday, April 16, 2:30 PM, 2:30 PM, 113 McAllister. James
Cummings (Carnegie Mellon University, Mathematics).
*Some Applications of PCF*. - Tuesday, April 23, 2:30 PM. Deirdre
Haskell (Mathematics, McMaster University).
*Grothendieck Rings of Definable Sets*.

- Tuesday, August 21, 2:30 PM, 306 Boucke. Stephen Simpson (Penn State, Mathematics).
*A Survey of Mathematical Logic*. - Tuesday, August 28, 2:30 PM, 306 Boucke. Natasha Dobrinen (Penn State,
Mathematics).
*Introduction to von Neumann's Problem Concerning Measurable Boolean Algebras*, part 1. - Tuesday, September 4, 2:30 PM, 306 Boucke. Natasha Dobrinen (Penn State,
Mathematics).
*Introduction to von Neumann's Problem Concerning Measurable Boolean Algebras*, part 2. - Tuesday, September 11, 2:30 PM, 306 Boucke. Stephen Binns (Penn State, Mathematics).
*Medvedev Degrees of Pi01 Subsets of 2omega, part 1*. - Tuesday, September 18, 2:30 PM, 306 Boucke. Stephen Binns (Penn State, Mathematics).
*Medvedev Degrees of Pi01 Subsets of 2omega, part 2*. - Tuesday, September 25, 2:30 PM, 306 Boucke. Alwen Tiu (Penn State, Computer
Science).
*A Logical System That Challenges Sequent Calculus*. - Tuesday, October 2, 2:30 PM, 306 Boucke. Pavel Naumov (Penn State
Harrisburg, Computer Science).
*Introduction to Automated Theorem Provers*. - Tuesday, October 9, 2:30 PM, 306 Boucke. No seminar. Fall break.
- Tuesday, October 16, 2:30 PM, 306 Boucke. Hemant Bhargava (Penn
State, Management Information Systems).
*Analysis of Formal Semantics for a Typed Mathematical Modeling Language*. - Tuesday, October 23, 2:30 PM, 306 Boucke. Stephen Simpson (Penn State, Mathematics).
*New Directions in Descriptive Set Theory*. - Monday, October 29, 10:10 AM, 320 Willard. Mirna Dzamonja
(University of East Anglia, Mathematics).
*Some Usual and Some Unusual Combinatorial Principles*.**Please note unusual time and place.** - Tuesday, October 30. No seminar today.
- Tuesday, November 6, 2:30 PM, 306 Boucke. Tamara
Lakins (Allegheny College, Mathematics).
*Ramsey's Theorem and Computability Theory*. - Tuesday, November 13, 2:30 PM, 306 Boucke. William Calhoun (Bloomsburg University, Mathematics).
*The Computably Enumerable Turing Degrees: An Algebraic Approach*. - Tuesday, November 20, 2:30 PM, 306 Boucke. Catuscia Palamidessi
(Penn State, Computer Science).
*Applications of Process Theory to Security*. - Tuesday, November 27. No seminar today.
- Thursday, November 29, 9:45 AM, 169 Willard. Simon Thomas (Rutgers
University, Mathematics).
*The Classification Problem for Torsion-Free Abelian Groups of Finite Rank*.**Please note unusual time and place.** - Tuesday, December 4, 2:30 PM, 306 Boucke. No seminar today.

- Tuesday, January 9, 2:30 PM, 316 Willard. Stephen Simpson (Penn State, Mathematics).
*An Overview of Mathematical Logic*. - Tuesday, January 16, 2:30 PM, 316 Willard. Stephen Simpson (Penn State, Mathematics).
*An Overview of Mathematical Logic, part 2*. - Tuesday, January 23, 2:30 PM, 316 Willard. Matthew Davis (Penn State,
Computer Science and Engineering).
*Adding Subrecords to the ML Family of Languages*. - Tuesday, January 30, 2:30 PM, 316 Willard. Stephen Binns (Penn State, Mathematics).
*Paths Through Recursive Trees*. - Tuesday, February 6, 2:30 PM, 316 Willard. Joel Hamkins (CUNY,
Mathematics).
*Infinite Time Turing Machines*. - Tuesday, February 13, 2:30 PM, 316 Willard. Douglas K. Brown (Penn State, Altoona
College, Mathematics).
*Vitali's Lemma in Reverse Mathematics*. - Tuesday, February 20, 2:30 PM, 316 Willard. Emily Grosholz (Penn State,
Philosophy).
*Kant's Account of Geometrical Objects*. - Tuesday, February 27, 2:30 PM, 316 Willard. Anatol Sisslenko
(University of Paris 12, Computer Science).
*A Logic Framework for Verification of Real-Time Reactive Systems*. - Tuesday, March 6, 2:30 PM, 316 Willard. No seminar, Spring Break.
- Tuesday, March 13, 2:30 PM, 316 Willard. No seminar.
- Tuesday, March 20, 2:30 PM, 316 Willard. Douglas K. Brown (Penn State, Altoona
College, Mathematics).
*Vitali's Lemma in Reverse Mathematics, part 2*. - Tuesday, March 27, 2:30 PM, 316 Willard. Martin Fürer (Penn
State, Computer Science).
*Graph Coloring, Games, and Logic*. - Tuesday, April 3, 2:30 PM, 316 Willard. Jeremy Avigad (Carnegie
Mellon, Philosophy).
*Between Proof Theory and Model Theory*. - Tuesday, April 10, 2:30 PM, 316 Willard. Emily Grosholz (Penn State,
Philosophy).
*Leibniz's Characteristic and the Discourse on Metaphysics*. - Tuesday, April 17, 2:30 PM, 316 Willard. Stephen Binns (Penn State, Mathematics).
*Paths Through Recursive Trees, part 2*. - Tuesday, April 24, 2:30 PM, 316 Willard. Natasha Dobrinen (University
of Minnesota, Mathematics).
*Complete Embeddings of the Cohen Algebra Into Three Classic Examples of Complete, Non-measurable, Atomless, C.C.C. Boolean Algebras*.

- Tuesday, September 5, 2:30 PM, 307 Boucke. Organizational Meeting.
- Tuesday, September 12, 2:30 PM, 307 Boucke. Stephen Simpson (Penn State, Mathematics).
*Undecidable Algebraic Theories, Part 1*. - Tuesday, September 19, 2:30 PM, 307 Boucke. Stephen Simpson (Penn State, Mathematics).
*Axiomatic Geometry*. - Tuesday, September 26, 2:30 PM, 307 Boucke. Elaine Pimentel (Penn
State, Computer Science).
*Linear Logic as a Framework for Specifying Sequent Calculus*. - Tuesday, October 3, 2:30 PM, 307 Boucke. Stephen Simpson (Penn State, Mathematics).
*Undecidable Algebraic Theories, Part 2*. - Tuesday, October 10. No seminar, Fall Break.
- Tuesday, October 17, 2:30 PM, 307 Boucke. Alice Medvedev (Penn State,
Mathematics).
*Determinacy of Infinite Two-Player Games*. - Tuesday, October 24, 2:30 PM, 307 Boucke. Emily Grosholz (Penn State,
Philosophy).
*History and Necessity*. - Tuesday, October 31, 2:30 PM, 307 Boucke. John Dawson (Penn State, Mathematics).
*Why Do We Re-Prove Theorems?*. - Tuesday, November 7, 2:30 PM, 307 Boucke. Frank Valencia (Penn State,
Computer Science).
*An Introduction to Temporal Logics*. - Tuesday, November 14, 2:30 PM, 307 Boucke. Emily Grosholz (Penn State,
Philosophy).
*The Irreducibility of Shape: Mathematical Intuition Reconsidered*. - Tuesday, November 21, 2:30 PM, 307 Boucke. Stephen Simpson (Penn State, Mathematics).
*Undecidable Algebraic Theories, Part 3*. - Tuesday, November 28, 2:30 PM, 307 Boucke. Catuscia Palamidessi
(Penn State, Computer Science).
*How to rescue the dining philosophers from starvation in case of overbooking*. - Tuesday, December 5, 2:30 PM, 307 Boucke. No seminar.

- Tuesday, January 25, 2:30 PM, 219 Thomas. Stephen Simpson (Penn State, Mathematics).
*Introduction to Pi^0_1 Classes*. - Tuesday, February 1, 2:30 PM, 219 Thomas. Stephen Simpson (Penn State, Mathematics).
*Universal Pi^0_1 Classes*. - Tuesday, February 8, 2:30 PM, 219 Thomas. Matthew Davis (Penn State,
Computer Science).
*An Introduction to Context-Free Grammars*. - Tuesday, February 15, 2:30 PM, 219 Thomas. Matthew Davis (Penn State,
Computer Science).
*An Object Oriented Approach to Constructing Recursive Descent Parsers*. - Tuesday, February 22, 2:30 PM, 219 Thomas. Stephen Simpson (Penn State, Mathematics).
*Universal Pi^0_1 Classes*, continued. - Tuesday, February 29, 2:30 PM. No seminar.
- Tuesday, March 7. No seminar, spring break.
- Tuesday, March 14, 2:30 PM, 219 Thomas. Stephen Simpson (Penn State, Mathematics).
*Universal Pi^0_1 Classes*, continued. - Tuesday, March 21, 2:30 PM, 219 Thomas. Emily Grosholz (Penn State,
Philosophy).
*Numbers, Figures, and Sets*, part 1. - Tuesday, March 28, 2:30 PM, 219 Thomas. Emily Grosholz (Penn State,
Philosophy).
*Numbers, Figures, and Sets*, part 2. - Tuesday, April 4, 2:30 PM, 219 Thomas. Stephen Simpson (Penn State, Mathematics).
*A World Where All Definable Real Numbers Are Computable*. - Tuesday, April 11, 2:30 PM, 219 Thomas. Philippa Gardner
(Cambridge University, Computer Science).
*A Process Calculus With Explicit Fusions*. - Tuesday, April 18, 2:30 PM, 219 Thomas. Ryan Kohl (Penn State, Math and
Philosophy).
*Lesniewski's Protothetic*. - Tuesday, April 25, 2:30 PM, 219 Thomas. Eugene Eberbach (Acadia
University, Computer Science).
*$-Calculus Bounded Rationality = Process Algebra + Anytime Algorithms*.

- Tuesday, September 14, 2:30 PM, 122 Thomas. Stephen Simpson (Penn State,
Mathematics).
*Random Sequences of 0's and 1's*. - Tuesday, September 21, 2:30 PM, 122 Thomas. Stephen Simpson (Penn State,
Mathematics).
*Random Sequences of 0's and 1's*, continued. - Tuesday, September 28, 2:30 PM, 122 Thomas. Dale Miller (Penn State,
Computer Science).
*A Meta-Logic for Sequent Calculus*. - Tuesday, October 5, 2:30 PM, 122 Thomas. Dale Miller (Penn State,
Computer Science).
*A Meta-Logic for Sequent Calculus*, continued. - Tuesday, October 12. No meeting, fall break.
- Tuesday, October 19, 2:30 PM, 122 Thomas. Francois Fages (Paris),
*Concurrent Constraint Programming and Linear Logic*. - Tuesday, October 26, 2:30 PM, 122 Thomas. Mihaela Herescu (Penn
State, Computer Science).
*A Symmetric and Fully Distributed Solution to the Dining Philosophers Problem*. - Tuesday, November 2, 2:30 PM, 122 Thomas. Mihaela Herescu (Penn
State, Computer Science).
*A Randomized Implementation of the Pi-Calculus with Mixed Choice, Part 1*. - Tuesday, November 9, 2:30 PM, 122 Thomas. Dale Jacquette (Penn
State, Philosophy).
*Soundness, the Liar, and the Validity Paradox*. - Tuesday, November 16, 2:30 PM, 122 Thomas. Lisa A. Reed (Penn
State, Linguistics).
*Necessary Versus Probable Cause*. - Tuesday, November 23. No meeting, Thanksgiving break.
- Tuesday, November 30. No meeting.
- Tuesday, December 7, 2:30 PM, 122 Thomas. Catuscia Palamidessi
(Penn State, Computer Science).
*A Randomized Implementation of the Pi-Calculus with Mixed Choice, Part 2*.

- Tuesday, September 8, 2:30 PM, 113 McAllister. Stephen Simpson (Penn State).
*Separation Principles in Logic and Analysis*. - Tuesday, September 15, 2:30 PM, 113 McAllister. Stephen Simpson (Penn State).
*Separation Principles in Logic and Analysis*, continued. - Tuesday, September 22, 2:30 PM, 113 McAllister. Mark Schmitt (Penn
State).
*Frege's Logical Foundation for Mathematics*. - Tuesday, September 29, 2:30 PM, 113 McAllister. Mark Schmitt (Penn
State).
*Frege's Logical Foundation for Mathematics*, continued. - Tuesday, October 6, 2:30 PM, 113 McAllister. Stephen Simpson (Penn State).
*Located Sets*. - Tuesday, October 13, 2:30 PM, 113 McAllister. Stephen Simpson (Penn State).
*Located Sets*, continued. - Tuesday, October 20, 2:30 PM, 113 McAllister. Taneli Huuskonen
(University of Helsinki).
*Generalized First-Order Conformal Invariants*. - Tuesday, October 27. There will be no logic seminar today.
However, Stephen Simpson (Penn State) will
speak on
*Foundations of Mathematics*in the Slow-Pitch Seminar. Refreshments at 4:30 PM in 212 McAllister. Talk at 5:00 PM in 325 Whitmore. - Tuesday, November 3. No seminar today (faculty meeting).
- Tuesday, November 10, 2:30 PM, 113 McAllister. Stephen Binns (Penn State).
*The Effective Topos*. - Tuesday, November 17, 2:30 PM, 113 McAllister. Stephen Binns (Penn State).
*The Effective Topos*, continued. - Tuesday, November 24. No seminar this week (Thanksgiving).
- Tuesday, December 8. No seminar this week.
- Tuesday, December 15. No seminar this week.

- Tuesday, February 24, 2:30 PM, 113 McAllister. Stephen Simpson (Penn State).
*Foundations of Mathematics: an Overview*. - Wednesday, March 4, 1:25 PM, 121 Thomas. Juliette Kennedy (Bucknell).
*On Embedding Models of Arithmetic into Reduced Products*. - Tuesday, March 10. No meeting this week (Spring Break).
- Tuesday, March 17, 2:30 PM, 308 Boucke. Dale Miller (Penn State,
CSE).
*Sequent Calculus and the Specification of Computation*. - Tuesday, March 24, 2:30 PM, 113 McAllister. Stephen Simpson (Penn State).
*Reverse Mathematics: An Introduction*. - Tuesday, March 31, 2:30 PM, 113 McAllister. Stephen Simpson (Penn State).
*Reverse Mathematics: An Introduction*, continued. - Tuesday, April 7, 2:30 PM, 308 Boucke. Catuscia Palamidessi
(Penn State, CSE).
*Communication and Choice in Mobile Networks*. - Tuesday, April 14, 2:30 PM, 113 McAllister. Roman Kossak (CUNY).
*Nonstandard Models of Arithmetic and Their Automorphism Groups*. - Tuesday, April 21, 2:30 PM, 113 McAllister. Stephen Simpson (Penn State).
*Omega-Models of Weak König's Lemma*. - Tuesday, April 28, 2:30 PM, 113 McAllister. Stephen Simpson (Penn State).
*Borel Models Realizing Uncountably Many Types*. - Tuesday, May 5, 2:30 PM, 113 McAllister. Dale Miller (Penn State,
CSE).
*Topics in Linear Logic*.