Warren D. Goldfarb

2005
14	EE	Warren D. Goldfarb: On Gödel's way in: the influence of Rudolf Carnap. Bulletin of Symbolic Logic 11(2): 185-193 (2005)
1993
13		Warren D. Goldfarb: Random Models and Solvable Skolem Classes. J. Symb. Log. 58(3): 908-914 (1993)
1990
12		Zachari Gleit, Warren D. Goldfarb: Characters and Fixed Points in Provability Logic. Notre Dame Journal of Formal Logic 31(1): 26-36 (1990)
1989
11		Warren D. Goldfarb: Random Models and the Maslov Class. J. Symb. Log. 54(2): 460-466 (1989)
1984
10		Warren D. Goldfarb: The Unsolvability of the Godel Class with Identity. J. Symb. Log. 49(4): 1237-1252 (1984)
9		Warren D. Goldfarb, Yuri Gurevich, Saharon Shelah: A Decidable Subclass of the Minimal Godel Class with Identity. J. Symb. Log. 49(4): 1253-1261 (1984)
1981
8		Warren D. Goldfarb: On the Godel Class with Identity. J. Symb. Log. 46(2): 354-364 (1981)
7		Warren D. Goldfarb: The Undecidability of the Second-Order Unification Problem. Theor. Comput. Sci. 13: 225-230 (1981)
1979
6		Warren D. Goldfarb: Logic in the Twenties: The Nature of the Quantifier. J. Symb. Log. 44(3): 351-368 (1979)
1975
5		Warren D. Goldfarb, Harry R. Lewis: Skolem Reduction Classes. J. Symb. Log. 40(1): 62-68 (1975)
1974
4		Stål Aanderaa, Warren D. Goldfarb: The Finite Controllability of the Maslov Case. J. Symb. Log. 39(3): 509-518 (1974)
3		Warren D. Goldfarb, T. M. Scanlon: The omega-Consistency of Number Theory Via Herbrand's Theorem. J. Symb. Log. 39(4): 678-692 (1974)
2		Warren D. Goldfarb: Ordinal Bounds for k-Consistency. J. Symb. Log. 39(4): 693-699 (1974)
1973
1		Harry R. Lewis, Warren D. Goldfarb: The Decision Problem for Formulas with a Small Number of Atomic Subformulas. J. Symb. Log. 38(3): 471-480 (1973)

Coauthor Index

1	Stål Aanderaa	[4]
2	Zachari Gleit	[12]
3	Yuri Gurevich	[9]
4	Harry R. Lewis	[1] [5]
5	T. M. Scanlon	[3]
6	Saharon Shelah	[9]

Colors in the list of coauthors