
Everything you always wanted to know about structural realism but were afraid to ask
– Roman Frigg, Ioannis Votsis
 2011

6

Tarski's conceptual analysis of semantical notions
– Solomon Feferman
 2002

18

Higher Order Logic
– Daniel Leivant
 1994


Logic in the 1930s: Type Theory and Model Theory
– Georg Schiemer, Erich H. Reck
 2013


Gödel’s Incompleteness Theorems
– Guram Bezhanishvili

11

Does Mathematics Need New Axioms?
– Solomon Feferman
 1999


A Structural Approach to Diophantine Definability
– Mihai Prunescu
 1999


Classical Logic I: FirstOrder Logic
– Wilfrid Hodges


The Universal Algebra of First Order Logic
– Noel Vaillant

2

From IF to BI A Tale of Dependence and Separation
– Samson Abramsky, Jouko Väänänen


Foundations for Mathematical Structuralism ∗
– Uri Nodelman, Edward N. Zalta, Uri Nodelman, Edward N. Zalta


MATHEMATICAL TRUTH REGAINED
– Robert Hanna

1

Abstract Computerizing Mathematical Text with
– Fairouz Kamareddine, J. B. Wells

3

Is the Continuum Hypothesis a definite mathematical problem?
– Solomon Feferman

3

Representing Scientific Representation
– Roman Frigg
 2003

7

What is Neologicism?
– Bernard Linsky, Edward N. Zalta
 2006


What is Neologicism? 2 What is Neologicism? ∗
– Bernard Linsky, Edward N. Zalta

6

On the Translation of HigherOrder Problems into FirstOrder Logic
– Manfred Kerber, Manfred Kerber
 1994

6

Chiron: A set theory with types, undefinedness, quotation, and evaluation
– William M. Farmer
 2007
