Logic Colloquium 2002–2008.

2008-2009.

Antonio Montalban, Assistant Professor of Mathematics, University of Chicago. Equimorphism Types of Linear Orderings.

Herman Ruge Jervell, Professor of Computer Science, University of Oslo. How to Well Order Finite Trees and Get Good Ordinal Notations.

Peter Koellner, John L. Loeb Associate Professor of the Humanities, Harvard University. Truth in Mathematics: The Question of Pluralism.

Dana S. Scott, University Professor, Emeritus, Carnegie Mellon University, Visiting Scholar in Logic and the Methodology of Science, University of California, Berkeley. Higher-Order Modal Modeling.

Benjamin Miller, Ph.D., University of California, Berkeley. Forceless, Ineffective, Powerless Proofs of Descriptive Set-theoretic Dichotomy Theorems.

Thomas Scanlon, Associate Professor of Mathematics University of California, Berkeley. Algebraic Dynamics and the Model Theory of Difference Fields.

Charles Chihara, Emeritus Professor of Philosophy University of California, Berkeley. Two Nominalistic Views of Mathematics.

Christos H. Papadimitriou, C. Lester Hogan Professor of Electrical Engineering and Computer Sciences, University of California, Berkeley. On Brouwer, Nash, and Other Nonconstructive Proofs.

Leo Harrington, Professor of Mathematics, University of California, Berkeley. A Perfect Kondo-Addison Theorem.

Branden Fitelson, Associate Professor of Philosophy, University of California, Berkeley. The Wason Task(s) and the Paradox of Confirmation.

John Krueger, Morrey Assistant Professor of Mathematics, University of California, Berkeley. On the Weak Reflection Principle.

Jonathan Kirby, Postdoctoral Research Fellow, University of Oxford, Visiting Scholar, University of California, Berkeley. Complex Exponentiation and Zilber’s Pseudo-exponentiation.

Grigori Mints, Professor of Philosophy and of Mathematics, Stanford University. Cut-free Formulation of Predicate Logic of Here-and-There.

Itay Neeman, Professor of Mathematics, University of California, Los Angeles. Forcing with Ultrafilters.

2007-2008.

M. C. (Mack) Stanley, Professor of Mathematics, San Jose State University. Outer Model Satisfiability.

John MacFarlane, Associate Professor of Philosophy, University of California, Berkeley. Ifs and Oughts.

Paolo Mancosu, Professor of Philosophy, University of California, Berkeley. Tarski on Categoricity and Completeness: An Unpublished Lecture from 1940.

Matthias Aschenbrenner, Associate Professor of Mathematics, University of California, Los Angeles. Uniform Degree Bounds for Groebner Bases.

Ulrich Kohlenbach, Professor of Mathematics, Technische Universität Darmstadt. Logical Proof Interpretations as a Tool for “Hard Analysis”.

Grigori Mints, Professor of Philosophy, Stanford University. Solving Equations in Monadic Logic.

Theodore A. Slaman, Professor of Mathematics, University of California, Berkeley. Effective Randomness and Continuous Measures.

Solomon Feferman, Professor of Mathematics and Philosophy Emeritus, Stanford University. Will-o’-the-Wisp? In Pursuit of a Foundation for Unrestricted Category > Theory.

Eric Pacuit, Postdoctoral Researcher in Computer Science, Stanford University. An Overview of Logic in Game Theory.

Andrés Eduardo Caicedo, Harry Bateman Research Instructor in Mathematics, California Institute of Technology. Some Results in Finite Combinatorics.

Jan Reimann, Charles B. Morrey Assistant Professor of Mathematics, University of California, Berkeley. Never Continuously Random Reals – an Intriguing Pi-one-one Set.

Richard Tieszen, Professor of Philosophy, San Jose State University. Intentionality, Intuition, and Proof in Mathematics.

Ralf Schindler, Professor of Mathematical Logic and Foundational Research, Visiting Scholar in Mathematics, University of California, Berkeley. Forcing Axioms and Large Cardinals.

Martin Davis, Professor Emeritus of Mathematics and of Computer Science, Visiting Scholar in Mathematics, University of California, Berkeley. E. L. Post in 20th Century Logic.

2006-2007.

Thomas Scanlon, Associate Professor of Mathematics, University of California, Berkeley. Pop’s Conjecture on Theories of Finitely Generated Fields.

John Krueger, Morrey Assistant Professor of Mathematics, University of California, Berkeley. Some Results on Internal Approachability.

Sherrilyn Roush, Associate Professor of Philosophy, University of California, Berkeley. Knowledge of Logical Truth.

Dana S. Scott, University Professor Emeritus, Carnegie Mellon University; Visiting Scholar in Logic and the Methodology of Science, University of California, Berkeley. Duality in Projective Geometry.

Assaf Sharon, Visiting Assistant Professor of Mathematics, University of California, Irvine. Some Consistency Results in Singular Cardinal Combinatorics.

Alexander Usvyatsov, Adjunct Assistant Professor of Mathematics and Fellow of the Logic Center, University of California, Los Angeles. Model Theory of Metric Structures: An Overview.

Jose Ferreiros, Associate Professor of History and Philosophy of Science, University of Sevilla, Spain; Visiting Scholar in Philosophy, University of California, Berkeley. Is the Concept of Set Intuitive?.

W. Hugh Woodin, Professor of Mathematics, University of California, Berkeley. The Continuum Hypothesis, the Generic Multiverse, and the Omega Conjecture.

Branden Fitelson, Assistant Professor of Philosophy, University of California, Berkeley. Epistemological Critiques of “Classical Logic” – Two Case Studies.

Lotfi A. Zadeh, Professor in the Graduate School, University of California, Berkeley. A New Frontier in Computation – Computation and Information Described in Natural Language .

Justus Diller, Professor Emeritus, Institute for Mathematical Logic and Foundational Research, University of Münster. Functional Interpretations of Constructive Set Theory in All Finite Types.

Carol Wood, Professor of Mathematics, Wesleyan University Visiting Scholar in Mathematics, University of California, Berkeley. Reducts in Model theory.

Douglas S. Bridges, Professor of Pure Mathematics, University of Canterbury, Christchurch, New Zealand. Constructive Reverse Mathematics.

John R. Steel, Professor of Mathematics, University of California, Berkeley. A Correctness Result for Canonical Inner Models.

2005-2006.

Paolo Mancosu, Associate Professor of Philosophy, University of California, Berkeley. Harvard 1940-41: Tarski, Carnap and Quine on a finitistic language of mathematics for science.

Martin Davis, Professor Emeritus of Mathematics and Computer Science, Courant Institute, New York University; Visiting Scholar in Mathmatics, University of California, Berkeley. Gödel: Missed Connections, Alternate Directions.

Peter Koellner, Assistant Professor of Philosophy, Harvard University; Visiting Scholar in Mathematics, University of California, Berkeley. On the Question of Absolute Undecidability.

Theodore A. Slaman, Professor of Mathematics, University of California, Berkeley. Bounding and Induction Principles in Arithmetic: Conservation Questions.

Matthew D. Foreman, Professor of Mathematics, University of California, Irvine. Classification and Anticlassification Theorems for Measure-Preserving Transformations.

Chitat Chong, University Professor of Mathematics, National University of Singapore. Logical Analysis of Ramsey’s Theorem.

Charles S. Chihara, Professor Emeritus of Philosophy, University of California, Berkeley. Burgess’s “Scientific” Arguments for the Existence of Mathematical Objects.

Leo A. Harrington, Professor of Mathematics, University of California, Berkeley. A Proposed Resemblance to Hegel’s Objective Logic.

John Macfarlane, Associate Professor of Philosophy, University of California, Berkeley. Epistemic Modals Are Assessment-Sensitive.

Toshiyasu Arai, Professor, Graduate School of Science and Technology, Kobe University. Resolving the Reflective Universes.

Moti Gitik, Professor of Mathematics, Tel Aviv University; Visiting Professor of Mathematics, University of California, Irvine. Short extenders forcings and morasses with linear limits.

Oswaldo Chateaubriand, Professor of Philosophy, Pontifical Catholic University of Rio de Janeiro. A Theory of Descriptions.

Jan Reimann, Wissenschaftlicher Assistent (C1), Universität Heidelberg; Visiting Scholar, University of California, Berkeley. Fractal Dimensions in Recursion Theory.

Dominic Hughes, Visiting Scholar, Leland Stanford Junior University. Proofs without Syntax.

2004-2005.

Hannes Leitgeb, Assistant Professor of Philosophy, University of Salzburg; Visiting Scholar in Philosophy, Stanford University. A Type-Free Theory of Truth and Modality.

Donald A. Martin, Professor of Mathematics and of Philopsophy, University of California, Los Angeles. Goedel’s Conceptual Realism.

Dana S. Scott, Hillman University Professor Emeritus of Computer Science, Mathematical Logic, and Philosophy, Carnegie Mellon University. Parametric Sets and Virtual Classes.

Ronald Fagin, Manager, Foundations of Computer Science, IBM Almaden Research Center. Finite-Model Theory – A Personal Perspective.

Lotfi Zadeh, Professor in the Graduate School, Division of Computer Science, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley. From Search Engines to Question-Answering Machines – The Need for Deduction Capability.

Yiannis Vourtsanis, Visitor, Department of Mathematics, University of Central Florida. General theory of structures: operational aspects and a new logical proof of Cantor’s theorem of set theory.

J. W. Addison, Professor Emeritus of Mathematics, University of California, Berkeley. Infinitary Boolean Operations.

Branden Fitelson, Assistant Professor of Philosophy, University of California, Berkeley. A Decision Procedure for the Probability Calculus, with Applications.

Benjamin Wells, Professor of Mathematics and of Computer Science, University of San Francisco; Faculty Scholar, Lawrence Livermore National Laboratory; Visiting Scholar in Mathematics, University of California, Berkeley. The Logic of Colossus, an Early Universal Computer.

William Craig, Professor Emeritus of Philosophy, University of California, Berkeley. Structures Related to the Excisions and Interchanges That Underlie First-Order Logic.

Krister Segerberg, Professor Emeritus of Philosophy, University of Uppsala, Visiting Professor of Philosophy, Stanford University. The Logic of Belief Change.

Andreas Liu, Golda Meir Postdoctoral Fellow, Hebrew University of Jerusalem. Cardinal Arithmetic Since Silver.

Thomas Scanlon, Professor of Mathematics, University of California, Berkeley. Geometry in Stability Theory.

Grigori E. Mints, Professor of Philosophy, of Computer Science, and of Mathematics, Stanford University; Visiting Professor of Mathematics, University of California, Berkeley. Intuitionistic Frege Systems Are Polynomially Equivalent.

2003-2004.

Leo Harrington, Professor of Mathematics, University of California, Berkeley. Anaximander’s Saying.

Andrew Arana, Assistant Professor of Philosophy, Stanford University. Degree Complexity of Models of Arithmetic and Connections with Independence Results.

Paolo Mancosu, Associate Professor of Philosophy, University of California, Berkeley. Tarski on Models and Logical Consequence.

John R. Steel, Professor of Mathematics, University of California, Berkeley. The Core Model Induction.

Charles Chihara, Professor Emeritus of Philosophy, University of California, Berkeley. Nominalism in Contemporary Philosophy of Mathematics.

Grigori E. Mints, Professor of Philosophy, of Mathematics, and of Computer Science, Stanford University. Propositional Logic of Continuous Transformations.

Umesh Vazirani, Professor of Electrical Engineering and Computer Sciences, University of California, Berkeley. Are NP-complete Problems Solvable in Quantum Polynomial Time?.

Robert Brayton, Cadence Distinguished Professor of Electrical Engineering and Computer Sciences, and Director, SRC Center for Excellence in Design Sciences, University of California, Berkeley. Computational Aspects of Logic Synthesis.

Theodore A. Slaman, Professor and Chair of Mathematics, University of California, Berkeley. Recursive Measures and Their Random Reals.

Dana S. Scott, Hillman University Professor Emeritus of Computer Science, Mathematical Logic, and Philosophy, Carnegie Mellon University. Topology, Categories, and Lambda-Calculus.

Martin Davis, Professor Emeritus, Courant Institute of Mathematical Sciences, New York University, and Visiting Scholar, University of California, Berkeley. The Myth of Hypercomputation.

John MacFarlane, Assistant Professor of Philosophy, University of California, Berkeley. In What Sense (If Any) Is Logic Normative for Thought?.

W. Hugh Woodin, Professor of Mathematics, University of California, Berkeley. A Structural Equivalence for AD-R.

Phokion G. Kolaitis, Professor of Computer Science, University of California, Santa Cruz. On Preservations under Homomorphisms in the Finite.

Joel I. Friedman, Professor Emeritus of Philosophy, University of California, Davis. Modalism (or, Modal Platonism): An Easy Way to Avoid Ontological Commitment to Abstract Entities.

Lev D. Beklemishev, Leading Researcher, Steklov Mathematical Institute, Moscow, and Onderzoeker, University of Utrecht. Applications of Modal Logic in Proof Theory.

2002-2003.

Thomas Scanlon, Assistant Professor of Mathematics, University of California, Berkeley. Model Theory of Partial Differential Equations.

Enrique Casanovas, Visiting Scholar in Mathematics, University of California, Berkeley, and Associate Professor of Logic and Philosophy of Science, University of Barcelona. Elimination of Hyperimaginaries.

Lotfi A. Zadeh, Professor in the Graduate School, Computer Science Division, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley. It is a Fundamental Limitation to Base Probability Theory on Bivalent Logic.

Deirdre Haskell, Associate Professor of Mathematics and Statistics, McMaster University, and Visiting Scholar in Mathematics, University of California, Berkeley. Valued Fields and Elimination of Imaginaries.

John MacFarlane, Assistant Professor of Philosophy, University of California, Berkeley. Future Contingents and Relative Truth.

John D. Clemens, Bateman Research Instructor in Mathematics, California Institute of Technology. Classifying Metric Spaces with a Fixed Set of Distances.

Chris Pollett, Assistant Professor of Computer Science, San Jose State University.. Nepomnjascij’s Theorem and Independence Proofs in Bounded Arithmetic.

Martin Zeman, Assistant Professor of Mathematics, University of California, Irvine.. Failure of Square at Singular Cardinals from a Weak Condition.

William Craig, Professor Emeritus of Philosophy, University of California, Berkeley. Semigroups and Unary Algebras That Underlie First-Order Logic.

Solomon Feferman, Professor of Mathematics and Philosophy, Stanford University, and Visiting Professor of Philosophy, University of California, Berkeley. Operational Theories of Sets and “Small” Large Cardinals.

Rami Grossberg, Associate Professor of Mathematics, Carnegie Mellon Univesity, Visiting Associate Professor of Mathematics, Stanford University. Influence of Set Theory on Model Theory.

Wayne H. Richter, Associate Professor of Mathematics, University of Minnesota, and Visiting Scholar in Mathematics, University of California, Berkeley. Inductive Definability.

Branden Fitelson, Assistant Professor of Philosophy, San Jose State University, and Assistant Professor Designate of Philosophy, University of California, Berkeley. Some Recent Results in Algebra and Logical Calculi Obtained Via Automated Reasoning.

Luca Bellotti, Research Fellow in Philosophy, University of Pisa, and Visiting Scholar in Philosophy, University of California, Berkeley. The Syntax/Semantics Tangle in Set Theory.

Monica VanDieren, Szego Assistant Professor of Mathematics, Stanford University.. Stability in Abstract Elementary Classes.

Joel David Hamkins, Associate Professor of Mathematics, Georgia State University, Professor of Mathematics, College of Staten Island, CUNY, and Doctoral Faculty Member, The Graduate Center, CUNY. A New Forcing Axiom: Modal Set Theory.