Tarski's influence on computer science

2018

Solomon Feferman

in: The Lvov-Warsaw school, Berlin,

And so on . . .

reasoning with infinite diagrams

2012

Solomon Feferman

Synthese 186 (1)

Enriched stratified systems for the foundations of category theory

2011

Solomon Feferman

in: Foundational theories of classical and constructive mathematics, Berlin,

Logic and methodology, center stage

2010

Anita Burdman Feferman, Solomon Feferman

Philosophia Scientiae 14 (1)

Harmonious logic

Craig's interpolation theorem and its descendants

2008

Solomon Feferman

Synthese 164 (3)

Alfred Tarski and a watershed meeting in logic

cornell, 1957

2003

Solomon Feferman

in: Philosophy and logic in search of the Polish tradition, Berlin,

Mathematical intuition vs. mathematical monsters

2000

Solomon Feferman

Synthese 125 (3)

Tarski and Gödel

between the lines

1999

Solomon Feferman

in: Alfred Tarski and the Vienna circle, Berlin,