Warren D. Goldfarb

From MaRDI portal
Person:1150585

Available identifiers

zbMath Open goldfarb.warren-dMaRDI QIDQ1150585

List of research outcomes

PublicationDate of PublicationType
On Dummett’s “Proof-Theoretic Justifications of Logical Laws”2022-06-03Paper
Putnam’s Theorem on the Complexity of Models2020-02-05Paper
https://portal.mardi4nfdi.de/entity/Q52364122019-10-15Paper
https://portal.mardi4nfdi.de/entity/Q52754452017-07-14Paper
https://portal.mardi4nfdi.de/entity/Q52754612017-07-14Paper
https://portal.mardi4nfdi.de/entity/Q30796262011-03-02Paper
On Gödel's Way In: The Influence of Rudolf Carnap2006-02-08Paper
https://portal.mardi4nfdi.de/entity/Q44403072003-12-16Paper
First-order Frege theory is undecidable2002-04-11Paper
In Memoriam: George Stephen Boolos 1940–19961997-05-28Paper
Random models and solvable Skolem classes1994-01-19Paper
https://portal.mardi4nfdi.de/entity/Q46972971993-06-29Paper
Characters and fixed points in provability logic1990-01-01Paper
Random models and the Maslov class1989-01-01Paper
The Gödel class with identity is unsolvable1984-01-01Paper
The unsolvability of the Gödel class with identity1984-01-01Paper
A decidable subclass of the minimal Gödel class with identity1984-01-01Paper
The undecidability of the second-order unification problem1981-01-01Paper
On the Gödel class with identity1981-01-01Paper
Logic in the twenties: the nature of the quantifier1979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39052521979-01-01Paper
Skolem reduction classes1975-01-01Paper
The ω-consistency of number theory via Herbrand's theorem1975-01-01Paper
Ordinal bounds for κ-consistency1975-01-01Paper
On the effective ω‐rule1975-01-01Paper
The finite controllability of the Maslov case1974-01-01Paper
The decision problem for formulas with a small number of atomic subformulas1973-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Warren D. Goldfarb