Warren D. Goldfarb

Available identifiers

zbMath Open goldfarb.warren-dMaRDI QIDQ1150585

List of research outcomes

Publication	Date of Publication	Type
On Dummett’s “Proof-Theoretic Justifications of Logical Laws”	2022-06-03	Paper
Putnam's theorem on the complexity of models	2020-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q5236412	2019-10-15	Paper
https://portal.mardi4nfdi.de/entity/Q5275461	2017-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q5275445	2017-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q3079626	2011-03-02	Paper
On Gödel's Way In: The Influence of Rudolf Carnap	2006-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4440307	2003-12-16	Paper
First-order Frege theory is undecidable	2002-04-11	Paper
In Memoriam: George Stephen Boolos 1940–1996	1997-05-28	Paper
Random models and solvable Skolem classes	1994-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q4697297	1993-06-29	Paper
Characters and fixed points in provability logic	1990-01-01	Paper
Random models and the Maslov class	1989-01-01	Paper
The unsolvability of the Gödel class with identity	1984-01-01	Paper
The Gödel class with identity is unsolvable	1984-01-01	Paper
A decidable subclass of the minimal Gödel class with identity	1984-01-01	Paper
The undecidability of the second-order unification problem	1981-01-01	Paper
On the Gödel class with identity	1981-01-01	Paper
Logic in the twenties: the nature of the quantifier	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3905252	1979-01-01	Paper
On the effective ω‐rule	1975-01-01	Paper
Skolem reduction classes	1975-01-01	Paper
The ω-consistency of number theory via Herbrand's theorem	1975-01-01	Paper
Ordinal bounds for κ-consistency	1975-01-01	Paper
The finite controllability of the Maslov case	1974-01-01	Paper
The decision problem for formulas with a small number of atomic subformulas	1973-01-01	Paper

Research outcomes over time

This page was built for person: Warren D. Goldfarb