Warren D. Goldfarb

17 papers Journal 16
YearRankTypeTitle / Venue / Authors
2016 — ch.
On Dummett's "Proof-Theoretic Justifications of Logical Laws".
Advances in Proof-Theoretic Semantics
Warren D. Goldfarb
2005 J jnl
On Gödel's way in: the influence of Rudolf Carnap.
Bull. Symb. Log.
Warren D. Goldfarb
2001 J jnl
First-Order Frege Theory is Undecidable.
J. Philos. Log.
Warren D. Goldfarb
1993 J jnl
Random Models and Solvable Skolem Classes.
J. Symb. Log.
Warren D. Goldfarb
1990 J jnl
Characters and Fixed Points in Provability Logic.
Notre Dame J. Formal Log.
Zachari Gleit, Warren D. Goldfarb
1989 J jnl
Random Models and the Maslov Class.
J. Symb. Log.
Warren D. Goldfarb
1984 J jnl
A Decidable Subclass of the Minimal Godel Class with Identity.
J. Symb. Log.
Warren D. Goldfarb, Yuri Gurevich, Saharon Shelah
1984 J jnl
The Unsolvability of the Godel Class with Identity.
J. Symb. Log.
Warren D. Goldfarb
1981 J jnl
On the Godel Class with Identity.
J. Symb. Log.
Warren D. Goldfarb
1981 J jnl
The Undecidability of the Second-Order Unification Problem.
Theor. Comput. Sci.
Warren D. Goldfarb
1979 J jnl
Logic in the Twenties: The Nature of the Quantifier.
J. Symb. Log.
Warren D. Goldfarb
1975 J jnl
On the effective ω-rule.
Math. Log. Q.
Warren D. Goldfarb
1975 J jnl
Skolem Reduction Classes.
J. Symb. Log.
Warren D. Goldfarb, Harry R. Lewis
1974 J jnl
Ordinal Bounds for k-Consistency.
J. Symb. Log.
Warren D. Goldfarb
1974 J jnl
The Finite Controllability of the Maslov Case.
J. Symb. Log.
Stål Aanderaa, Warren D. Goldfarb
1974 J jnl
The omega-Consistency of Number Theory Via Herbrand's Theorem.
J. Symb. Log.
Warren D. Goldfarb, T. M. Scanlon
1973 J jnl
The Decision Problem for Formulas with a Small Number of Atomic Subformulas.
J. Symb. Log.
Harry R. Lewis, Warren D. Goldfarb