• Publications
  • Influence
Mathematical logic
  • 1,896
  • 15
Degrees of unsolvability
  • J. Shoenfield
  • Mathematics, Computer Science
  • North-Holland mathematics studies
  • 1 May 1959
TLDR
In [4], Kleene and Post showed that there are degrees between 0 (the degree of recursive sets) and 0' (the highest degree of recursively enumerable sets) between 0 and 0'. Expand
  • 190
  • 9
Degrees of Models
  • J. Shoenfield
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1 September 1960
  • 62
  • 3
THE PROBLEM OF PREDICATIVITY
  • 42
  • 3
The axioms of set theory
TLDR
A locking link for locking the articulating joint on an articulating vehicle. Expand
  • 104
  • 2
  • PDF
Open Sentences and the Induction Axiom
  • J. Shoenfield
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1 March 1958
The purpose of this paper is to give a partial answer to the question: How much is the induction axiom weakened if it is applied only to sentences with no bound variables? It is well known that forExpand
  • 9
  • 2
Review: Herbert B. Enderton, A Mathematical Introduction to Logic
  • 32
  • 2
A Theorem on Minimal Degrees
TLDR
In their original paper on degrees [3], Kleene and Post showed that there is a degree between 0 and 0'. Expand
  • 38
  • 1
A Relative Consistency Proof
  • J. Shoenfield
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1 March 1954
TLDR
We provide a direct method for obtaining a contradiction in C from a proof in C ′ . Expand
  • 37
  • 1