Warren D. Goldfarb - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2016

On Dummett's "Proof-Theoretic Justifications of Logical Laws"Warren D. Goldfarb. In Thomas Piecha, Peter Schroeder-Heister, editors, Advances in Proof-Theoretic Semantics. Volume 43 of Trends in Logic, pages 195-210, Springer, 2016. [doi]

2005

On Gödel s way in: the influence of Rudolf CarnapWarren D. Goldfarb. bsl, 11(2):185-193, 2005. [doi]

2001

First-Order Frege Theory is UndecidableWarren D. Goldfarb. jphil, 30(6):613-616, 2001. [doi]

1993

Random Models and Solvable Skolem ClassesWarren D. Goldfarb. JSYML, 58(3):908-914, 1993.

1990

Characters and Fixed Points in Provability LogicZachari Gleit, Warren D. Goldfarb. ndjfl, 31(1):26-36, 1990.

1989

Random Models and the Maslov ClassWarren D. Goldfarb. JSYML, 54(2):460-466, 1989.

1984

The Unsolvability of the Godel Class with IdentityWarren D. Goldfarb. JSYML, 49(4):1237-1252, 1984.

A Decidable Subclass of the Minimal Godel Class with IdentityWarren D. Goldfarb, Yuri Gurevich, Saharon Shelah. JSYML, 49(4):1253-1261, 1984.

1981

On the Godel Class with IdentityWarren D. Goldfarb. JSYML, 46(2):354-364, 1981.

The Undecidability of the Second-Order Unification ProblemWarren D. Goldfarb. TCS, 13:225-230, 1981.

1979

Logic in the Twenties: The Nature of the QuantifierWarren D. Goldfarb. JSYML, 44(3):351-368, 1979.

1975

Skolem Reduction ClassesWarren D. Goldfarb, Harry R. Lewis. JSYML, 40(1):62-68, 1975.

On the effective ω-ruleWarren D. Goldfarb. mlq, 21(1):409-412, 1975. [doi]

1974

The Finite Controllability of the Maslov CaseStål Aanderaa, Warren D. Goldfarb. JSYML, 39(3):509-518, 1974.

Ordinal Bounds for k-ConsistencyWarren D. Goldfarb. JSYML, 39(4):693-699, 1974.

The omega-Consistency of Number Theory Via Herbrand s TheoremWarren D. Goldfarb, T. M. Scanlon. JSYML, 39(4):678-692, 1974.

1973

The Decision Problem for Formulas with a Small Number of Atomic SubformulasHarry R. Lewis, Warren D. Goldfarb. JSYML, 38(3):471-480, 1973.

Sign in or sign up to see more results.

runs on WebDSL