| Publication | Date of Publication | Type |
|---|
On Dummett’s “Proof-Theoretic Justifications of Logical Laws”
Advances in Proof-Theoretic Semantics | 2022-06-03 | Paper |
Putnam's theorem on the complexity of models
Outstanding Contributions to Logic | 2020-02-05 | Paper |
| scientific article; zbMATH DE number 7117713 (Why is no real title available?) | 2019-10-15 | Paper |
| scientific article; zbMATH DE number 6745049 (Why is no real title available?) | 2017-07-14 | Paper |
| scientific article; zbMATH DE number 6745034 (Why is no real title available?) | 2017-07-14 | Paper |
| scientific article; zbMATH DE number 5859783 (Why is no real title available?) | 2011-03-02 | Paper |
On Gödel's Way In: The Influence of Rudolf Carnap
The Bulletin of Symbolic Logic | 2006-02-08 | Paper |
| scientific article; zbMATH DE number 2018391 (Why is no real title available?) | 2003-12-16 | Paper |
First-order Frege theory is undecidable
Journal of Philosophical Logic | 2002-04-11 | Paper |
In Memoriam: George Stephen Boolos 1940–1996
The Bulletin of Symbolic Logic | 1997-05-28 | Paper |
Random models and solvable Skolem classes
Journal of Symbolic Logic | 1994-01-19 | Paper |
| scientific article; zbMATH DE number 221855 (Why is no real title available?) | 1993-06-29 | Paper |
Characters and fixed points in provability logic
Notre Dame Journal of Formal Logic | 1990-01-01 | Paper |
Random models and the Maslov class
Journal of Symbolic Logic | 1989-01-01 | Paper |
The unsolvability of the Gödel class with identity
Journal of Symbolic Logic | 1984-01-01 | Paper |
The Gödel class with identity is unsolvable
Bulletin of the American Mathematical Society | 1984-01-01 | Paper |
A decidable subclass of the minimal Gödel class with identity
Journal of Symbolic Logic | 1984-01-01 | Paper |
The undecidability of the second-order unification problem
Theoretical Computer Science | 1981-01-01 | Paper |
On the Gödel class with identity
Journal of Symbolic Logic | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3715502 (Why is no real title available?) | 1979-01-01 | Paper |
Logic in the twenties: the nature of the quantifier
Journal of Symbolic Logic | 1979-01-01 | Paper |
On the effective ω‐rule
Mathematical Logic Quarterly | 1975-01-01 | Paper |
Skolem reduction classes
Journal of Symbolic Logic | 1975-01-01 | Paper |
The <i>ω</i>-consistency of number theory via Herbrand's theorem
Journal of Symbolic Logic | 1975-01-01 | Paper |
Ordinal bounds for <i>κ</i>-consistency
Journal of Symbolic Logic | 1975-01-01 | Paper |
The finite controllability of the Maslov case
Journal of Symbolic Logic | 1974-01-01 | Paper |
The decision problem for formulas with a small number of atomic subformulas
Journal of Symbolic Logic | 1973-01-01 | Paper |
