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
