The following pages link to Warren D. Goldfarb (Q1150585):
Displaying 28 items.
- (Q239523) (redirect page) (← links)
- Characters and fixed points in provability logic (Q749521) (← links)
- The undecidability of the second-order unification problem (Q1150586) (← links)
- (Q3079626) (← links)
- In Memoriam: George Stephen Boolos 1940–1996 (Q3128484) (← links)
- The Gödel class with identity is unsolvable (Q3317080) (← links)
- On Gödel's Way In: The Influence of Rudolf Carnap (Q3370620) (← links)
- Random models and the Maslov class (Q3480012) (← links)
- The unsolvability of the Gödel class with identity (Q3695253) (← links)
- A decidable subclass of the minimal Gödel class with identity (Q3695254) (← links)
- Logic in the twenties: the nature of the quantifier (Q3879201) (← links)
- (Q3905252) (← links)
- On the Gödel class with identity (Q3926548) (← links)
- The finite controllability of the Maslov case (Q4063430) (← links)
- Skolem reduction classes (Q4063431) (← links)
- The <i>ω</i>-consistency of number theory via Herbrand's theorem (Q4077992) (← links)
- Ordinal bounds for <i>κ</i>-consistency (Q4077993) (← links)
- On the effective ω‐rule (Q4096925) (← links)
- Random models and solvable Skolem classes (Q4276027) (← links)
- The decision problem for formulas with a small number of atomic subformulas (Q4401431) (← links)
- (Q4440307) (← links)
- (Q4697297) (← links)
- Putnam’s Theorem on the Complexity of Models (Q5214674) (← links)
- (Q5236412) (← links)
- (Q5275445) (← links)
- (Q5275461) (← links)
- On Dummett’s “Proof-Theoretic Justifications of Logical Laws” (Q5864206) (← links)
- First-order Frege theory is undecidable (Q5960015) (← links)