Warren D. Goldfarb

Publication Activity (10 Years)

Years Active: 1973-2005
Publications (10 Years): 0

Publications

Warren D. Goldfarb
On Gödel's way in: the influence of Rudolf Carnap. Bull. Symb. Log. 11 (2) (2005)
Warren D. Goldfarb
First-Order Frege Theory is Undecidable. J. Philos. Log. 30 (6) (2001)
Warren D. Goldfarb
Random Models and Solvable Skolem Classes. J. Symb. Log. 58 (3) (1993)
Zachari Gleit, Warren D. Goldfarb
Characters and Fixed Points in Provability Logic. Notre Dame J. Formal Log. 31 (1) (1990)
Warren D. Goldfarb
Random Models and the Maslov Class. J. Symb. Log. 54 (2) (1989)
Warren D. Goldfarb, Yuri Gurevich, Saharon Shelah
A Decidable Subclass of the Minimal Godel Class with Identity. J. Symb. Log. 49 (4) (1984)
Warren D. Goldfarb
The Unsolvability of the Godel Class with Identity. J. Symb. Log. 49 (4) (1984)
Warren D. Goldfarb
The Undecidability of the Second-Order Unification Problem. Theor. Comput. Sci. 13 (1981)
Warren D. Goldfarb
On the Godel Class with Identity. J. Symb. Log. 46 (2) (1981)
Warren D. Goldfarb
Logic in the Twenties: The Nature of the Quantifier. J. Symb. Log. 44 (3) (1979)
Warren D. Goldfarb, Harry R. Lewis
Skolem Reduction Classes. J. Symb. Log. 40 (1) (1975)
Warren D. Goldfarb
On the effective ω-rule. Math. Log. Q. 21 (1) (1975)
Warren D. Goldfarb
Ordinal Bounds for k-Consistency. J. Symb. Log. 39 (4) (1974)
Warren D. Goldfarb, T. M. Scanlon
The omega-Consistency of Number Theory Via Herbrand's Theorem. J. Symb. Log. 39 (4) (1974)
Stål Aanderaa, Warren D. Goldfarb
The Finite Controllability of the Maslov Case. J. Symb. Log. 39 (3) (1974)
Harry R. Lewis, Warren D. Goldfarb
The Decision Problem for Formulas with a Small Number of Atomic Subformulas. J. Symb. Log. 38 (3) (1973)