Cooper, William S.

1964

Adams

A Formalization of the Logic of Ordinary Conditionals

Barnes, Robert F., Jr.

1965

Addison

The Classification of the ClosedOpen and the Recursive Sets of
NumberTheoretic Functions

Chuaqui, Rolando B.

1965

Blackwell

A Definition of Probability Based on Equal Likelihood

Hanna, Joseph F.

1965

Adams

The Methodology of the Testing of Learning Models, with Applications
to a New Stimulus Discrimination Model of TwoChoice Behavior

Causey, Robert L.

1967

Adams

Derived Measurement and the Foundations of Dimensional Analysis

Reyes, Gonzalo E.

1967

Craig

Typical and Generic Relations in a Baire Space for Models

LeTourneau, John J.

1968

Addison

Decision Problems Related to the Concept of Operation

Laver, Richard J.

1969

McKenzie

Order Types and Wellquasiorderings

Sasso, Leonard P., Jr.

1971

R. W. Robinson

Degrees of Unsolvability and Partial Functions

Tulloss, Rodham E.

1971

R. W. Robinson

Some Complexities of Simplicity: Concerning the Grades of Simplicity
of Recursively Enumerable Sets

Menas, Telis K.

1973

Solovay

On Strong Compactness and Supercompactness

Burgess, John P.

1974

Silver

Infinitary Languages and Descriptive Set Theory

McLelland, James E.

1974

Chihara

Epistemic Logic and the Surprise Examination Paradox

Resek, Diane

1974

Henkin

Some Results on Relativized Cylindric Algebras

Carlstrom, Ian F.

1975

Adams

Truth and Entailment for a Vague Quantifier

Schaffter, Thomas L.

1975

Chihara

On the Adequacy of a Nominalistic Mathematics for the Empirical
Sciences

Mills, George H.

1977

Harrington

Extensions of Models of Peano Arithmetic

Steel, John R.

1977

Addison

Determinateness and Subsystems of Analysis

Manders, Kenneth L.

1978

Blum

Studies in Applied Logic

Nash, Peter D.

1982

Harrington

Reduction Theorems in Model Theory and Topology

Rooney, Phyllis A.

1982

Chihara

Fregean Type Theory: Logical Aspects, Philosophical Implications,
Historical Consequences

VanLiere, Mark B.

1982

Harrington

Splitting the Reals into Two Small Pieces

Kadvany, John D.

1983

Sluga

From Hegel to Lakatos: An Essay in Criticism and the Growth in
Knowledge

Lin, Yutang

1983

Craig

Replacementclosed Rules for Free and for Classical Logic

Stanley, Maurice C.

1984

Harrington

A Unique Generic Real

McGee, Vann R.

1985

Chihara

Truth and Necessity in Partially Interpreted Languages

Strohl, David L.

1985

Sluga

The Logic of Edmund Husserl’s Logical Investigations

Ladkin, Peter B.

1987

McKenzie

The Logic of Time Representation

Lavine, Michael A.

1988

Vaught

SpectorGandy and Generalized Reduction Theorems for ModelTheoretic
Analogs of the Class of Coanalytic Sets

Manson, Keith S.

1989

Harrington

Generalized Weyl Representations and the Quantization of Nonlinear
Hamiltonian Systems

Rawling, John P.

1989

Davidson

Choice and Action: In Defense of Richard Jeffrey’s Logic of
Decision

Ignjatovic, Aleksander D.

1990

Silver

Fragments of First and Second Order Arithmetic and Length of
Proofs

Bagaria, Joan P.

1991

McKenzie and Judah

Definable Forcing and Regularity Property of Projective Sets of
Reals

Vineburg, Susan N.

1991

Adams

Conditionalization and Rational Belief Change

Gloor, James A.

1992

Harrington

Locatability on Banach Spaces

Ray, Gregory B.

1992

Chihara and Neale

Modal Identities and De Re Necessity

Hjorth, Gregory

1993

Woodin

The Influence of N2

Bach, Craig N.

1995

Chihara

Tarski and the Concept of Logical Consequence

Grosh, John H.

1995

Adams

Inferential Validity in a Logic of Vague Predicates

Scheiffele, Eberhard

1995

Sluga

Psychdrama Improvisation and Spontaneity: The Theatrical Theories
and Influence of Moreno

Latting, Charles

1996

McKenzie

Remarks on Residual Character

MacMillan, Paul S.

1996

Silver

Some Results Concerning Scott and Peanolike Theories

Tash, Jonathan

1996

Zadeh and Russell

Decision Theory Made Tractable: The Value of Deliberation, with
Application to Markov Decision Planning

Choi, Byoungil

1997

Sluga

From Consistency to Incompleteness: A Philosophical Investigation of
Hilbert’s Programme and Gödel’s Incompletenss Theorem

Dresner, Eli

1998

Neale

Formal Semantics and the Algebraic View of Meaning

Heilmayr, Stephen R.

1998

Harrington

Remarks on Graph Functions

Goldman, Randolph R.

2000

Chihara

Gödel’s Ontological Argument

Ketchersid, Richard O.

2000

Woodin

Toward ADR from the Continuum Hypothesis and an W1Dense Ideal

Hansen, Bendek

2001

Chihara

Causal Inference via Covariance Adjustment: Investigations on Model
Uncertainty in Observational Studies

Lippe, David A.

2001

Slaman

On the Theory of Δ_2^0 Degress

Zach, Richard

2001

Mancosu and Silver

Hilbert’s Finitism: Historical, Philosophical, and Metamathematical
Prespectives

Hales, Lisa

2002

Vazirani

The Quantum Fourier Transform and Extensions of the Abelian Hidden
Subgroup Problem

KjosHanssen, Bjørn

2002

Slaman

Lattice Initial Segments of the Turing Degrees

Goodwin, William M.

2003

Chihara

Kant’s Philosophy of Geometry

Mirza, Omar A.

2003

MacFarlane and Sluga

Naturalism and Darwin’s Doubt: A Study of Plantinga’s Evolutionary
Argument Against Naturalism

Peretz, Assaf

2003

Harrington

Geometry of Forking in Simple Theories

Liu, Andreas JueDer

2004

Woodin

SelfSimilarity at Singular Cardinals

Schneck, Robert R.

2004

Necula

Extensible Untrusted Code Verification

Hafner, Johannes

2005

Chihara and Mancosu

From Metamathematics to Philosophy: A Critical Assessment of
Putnam’s ModelTheoretic Argument

Shi, Xianghui

2006

Woodin

Prewellorderings vs. Wellfounded Relations

Franklin, Johanna

2007

Slaman

Aspects of Schnorr Randomness

Goodrick, John

2007

Scanlon

When are Elementarily Biembeddable Models Isomorphic?

Easwaran, Kenny

2008

Fitelson

The Foundations of Conditional Probability

Gerdes, Peter

2008

Harrington

Moduli of Computation

Huntington, Galen

2008

Fitelson

Towards an efficient decision procedure for the existential theory
of the reals

Johnson, Ben

2008

Harrington

Upper and Lower Bounds for Recursive Fourier Sampling

Cariani, Fabrizio

2009

MacFarlane

The Semantics of ‘Ought’ and the Unity of Modal Discourse

Malliaris, Maryanthe

2009

Scanlon

Persistence and Regularity in Unstable Model Theory

Sargsyan, Grigor

2009

Steel

The Tale of Hybrid Mice

Pal, Koushik

2011

Scanlon

Uniform Theory of Multiplicative Valued Difference Fields

Rennet, Alex

2012

Scanlon

Ultraproducts of Ominimal Structures

Bledin, Justin

2013

MacFarlane

Logic Informed

HarrisonShermoen, Gwyneth

2013

Scanlon

Independence Relations in Theories with the Tree Property

Herbert, Ian

2013

Slaman

Weak Lowness Notionso for Kolmogorov Complexity

Allen, Kelty

2014

Slaman

MartinLöf Randomness and Brownian Motion

Tilley, Arthur

2014

Scanlon

N Angry Men

Valby, Lawrence

2015

Scanlon

Some Case Studies in Algebra Motivated by Abstract Problems of
Language

HarrisonTrainor, Matthew

2017

Montalban

The Complexity of Countable Structures

Wan, Michael

2017

Scanlon

Towards a model theory of almost complex manifolds

Voellmer, Andreas

2017

Steel

A Partial Characterization of □_{κ} for PlusOne
Premice

Kocurek, Alexander W.

2018

Holliday and Yalcin

What Can You Say? Measuring the Expressive Power of Languages

Ramsey, Nicholas

2018

Scanlon

Independence, Amalgamation, and Trees

AhmedBuehler, Russell

2019

Buchak

A Logical Theory of Confirmation

Fremont, Daniel

2019

Seshia

Algorithmic Improvisation

Moody, James

2019

Slaman

Computable Continuous Structure Theory

Yamamoto, Kentaro

2020

Holliday

Duality for Boolean Algebra Expansions and Its Applications

Walsh, James

2020

Montalban

Reflection Principles and Ordinal Analysis

Ding, Yifeng

2021

Holliday

Propositional Quantification and Comparison in Modal Logic

Dale, Reid

2022

Scanlon

Logical Interrogations of Theory and Evidence
