This is an interdisciplinary seminar. Participants are largely from Mathematics but also from Computer Science, Philosophy, Linguistics, Physics, Electrical Engineering, and other departments. The host of the seminar is Stephen G. Simpson. If you have any comments or want to be added to or removed from the list for e-mail announcements, please send e-mail to Steve at t20@psu.edu.
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.
Some Relevant Links
- Mathematical Logic at Penn State
- Programming Languages at Penn State
- Linguistics at Penn State
- A mailing list for Foundations of Mathematics
Spring 2007
Tuesdays 2:30-3:45, 106 McAllister.
- Tuesday, February 13. Natasha Dobrinen (University of Vienna, Mathematics). Co-stationarity of the ground model.
Fall 2006
Tuesdays 2:30-3:45, 106 McAllister.
- 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.
Spring 2006
Tuesdays 2:30-3:45, 106 McAllister.
- 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.
Fall 2005
In Fall 2005 Steve Simpson ran the seminar. We met Tuesdays 2:30 – 3:45 in 106 McAllister, the main seminar room in our newly remodeled mathematics building. Talks were 75 minutes long. In addition, there was a weekly Logic Lunch at various downtown State College restaurants.
- 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.
Summer 2005
In Summer 2005 Steve Simpson ran the seminar. We met Tuesdays 2:30 – 3:45 in 123 Pond. Talks were 75 minutes long.
- 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.
Spring 2005
In Spring 2005 the seminar was run by John Clemens and was available to be taken as a 1-credit course, Math 597C. We met Tuesdays 2:30 – 3:45 in 103 Pond. Talks were 75 minutes long. Our weekly Logic Lunch was organized by Carl Mummert.
- 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.
Fall 2004
In Fall 2004 the seminar was run by John Clemens. We met Tuesdays 2:30 – 3:45 in 307 Boucke. Talks were 75 minutes long. This seminar was available to be taken as a 1-credit course, Math 597D. Our weekly Logic Lunch was organized by Carl Mummert.
- 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.
Summer 2004
In Summer 2004 the seminar was run by Carl Mummert. We met Wednesdays 11:10-12:25 in various rooms on the third floor of Boucke Building.
- 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.
Spring 2004
In Spring 2004 the seminar was run by Natasha Dobrinen, Tuesdays, 2:30-3:45 PM, in 307 Boucke. It was available to be taken as a 1-credit course, Math 597D, Schedule Number 296812. Talks were 75 minutes long. In addition to talks by Penn Staters, we had several speakers from outside Penn State. Our weekly Logic Lunch was organized by Carl Mummert.
- 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.
Fall 2003
In Fall 2003 the Logic Seminar was run by Natasha Dobrinen. It met Tuesdays, 2:30-3:45 PM in 113 McAllister. It was available to be taken as a 1-credit course, Math 597D, Schedule Number 205840. Talks were 75 minutes long. In addition to talks by Penn Staters, we had several speakers from outside Penn State. Our weekly Logic Lunch was organized by Carl Mummert.
- 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).
Spring 2003
In Spring 2003 the Logic Seminar was run by Natasha Dobrinen. It met every Tuesday, 2:30-3:45 PM in 113 McAllister. It was available to be taken as a 1-credit course, Math 597J, Schedule Number 145249. Talks were 75 minutes long. In addition to talks by Penn Staters, we had several speakers from outside Penn State. Logic Lunch was organized by Carl Mummert.
- 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.
Fall 2002
In Fall 2002 Natasha Dobrinen ran the Logic Seminar. It met every Tuesday, 2:30-3:45 PM in 312 Boucke. It was available to be taken as a 1-credit course, Math 598F, Schedule Number 145138. Talks were 75 minutes long. In addition to talks by Penn Staters, we had several speakers from outside Penn State. Logic Lunch was organized by Carl Mummert.
- 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.
Summer 2002
Arthur Apter of CUNY gave a talk on Friday, May 17, at 2:30. Indestructibility and Strong Compactness.
Spring 2002
In Spring 2002 the logic seminar met every Tuesday, 2:30-3:45 PM. It was available to be taken as a 1-credit course, Math 598A, Schedule Number 901887. Talks are 75 minutes long. In addition to talks by Penn Staters, we are had several speakers from outside Penn State. Logic Lunch was on Tuesdays at 12:30, in various downtown restaurants.
- 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.
Fall 2001
In Fall 2001 the logic seminar met every Tuesday, 2:30-3:45 PM, in 306 Boucke. It was available as a 1-credit course, Math 598D, Schedule Number 893679. Talks were 75 minutes long. In addition to talks by Penn Staters, we had several speakers from outside Penn State. Logic Lunch was every Tuesday at 12:45 in various downtown restaurants.
- 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.
Summer 2001
In Summer 2001 there was a very informal logic seminar. Stephen Binns, Carl Mummert, and Steve Simpson met irregularly on Tuesdays and Thursdays, 11:15-12:30, in 113 McAllister. We worked through part of the book Tame Topology and o-Minimal Structures, by Lou van den Dries.
Spring 2001
In Spring 2001 the Logic Seminar met every Tuesday, 2:30-3:20 PM, in 316 Willard. Logic Lunch was every Tuesday at 12:15 in various downtown restaurants.
- 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.
Fall 2000
In Fall 2000 the Logic Seminar met every Tuesday, 2:30-3:20 PM, in 307 Boucke. New this semester was a weekly Logic Lunch.
- 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.
Spring 2000
- 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.
Fall 1999
- 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.
Spring 1999
Steve was out of town on leave for spring 1999, so the Penn State Logic Seminar was dormant.
Fall 1998
- 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.
Spring 1998
- 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.