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