# 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*.