Warren D. Goldfarb

According to our database, Warren D. Goldfarb authored at least 17 papers between 1973 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

2016

On Dummett's "Proof-Theoretic Justifications of Logical Laws".

Warren D. Goldfarb

Proceedings of the Advances in Proof-Theoretic Semantics., 2016

2005

On Gödel's way in: the influence of Rudolf Carnap.

Warren D. Goldfarb

Bull. Symb. Log., 2005

2001

First-Order Frege Theory is Undecidable.

Warren D. Goldfarb

J. Philos. Log., 2001

1993

Random Models and Solvable Skolem Classes.

Warren D. Goldfarb

J. Symb. Log., 1993

1990

Characters and Fixed Points in Provability Logic.

Zachari Gleit, Warren D. Goldfarb

Notre Dame J. Formal Log., 1990

1989

Random Models and the Maslov Class.

Warren D. Goldfarb

J. Symb. Log., 1989

1984

A Decidable Subclass of the Minimal Godel Class with Identity.

Warren D. Goldfarb, Yuri Gurevich, Saharon Shelah

J. Symb. Log., 1984

The Unsolvability of the Godel Class with Identity.

Warren D. Goldfarb

J. Symb. Log., 1984

1981

The Undecidability of the Second-Order Unification Problem.

Warren D. Goldfarb

Theor. Comput. Sci., 1981

On the Godel Class with Identity.

Warren D. Goldfarb

J. Symb. Log., 1981

1979

Logic in the Twenties: The Nature of the Quantifier.

Warren D. Goldfarb

J. Symb. Log., 1979

1975

On the effective ω-rule.

Warren D. Goldfarb

Math. Log. Q., 1975

Skolem Reduction Classes.

Warren D. Goldfarb, Harry R. Lewis

J. Symb. Log., 1975

1974

The omega-Consistency of Number Theory Via Herbrand's Theorem.

Warren D. Goldfarb, T. M. Scanlon

J. Symb. Log., 1974

Ordinal Bounds for k-Consistency.

Warren D. Goldfarb

J. Symb. Log., 1974

The Finite Controllability of the Maslov Case.

Stål Aanderaa, Warren D. Goldfarb

J. Symb. Log., 1974

1973

The Decision Problem for Formulas with a Small Number of Atomic Subformulas.

Harry R. Lewis, Warren D. Goldfarb

J. Symb. Log., 1973