- Kreisel-Lacombe-
Shoenfield-Tseitin
theorem (or KLST theorem),
which was
obtained independently by
Georg Kreisel,
Daniel Lacombe and
Joseph R.
Shoenfield , and by...
- Lévy 1973.
Shoenfield 2001, p. 239.
Shoenfield 1977, section 2.
Hinman 2005, p. 467. For a
complete argument that V
satisfies ZFC see
Shoenfield (1977)....
-
Notes in
Logic Perspectives in
Logic Mathematical Logic by
Joseph R.
Shoenfield The Gödel
Lecture Series is
series of
annual ASL
lectures that
trace back...
-
properties of sets are
absolute is well studied. The
Shoenfield absoluteness theorem, due to
Joseph Shoenfield (1961),
establishes the
absoluteness of a large...
-
axioms (1)–(7) of Q,
axiom (3)
needs an
inner existential quantifier.
Shoenfield (1967, p. 22)
gives an
axiomatization that has only (implicit)
outer universal...
-
Robert Shoenfield (May 1, 1927, Detroit,
Michigan –
November 15, 2000, Durham,
North Carolina) was an
American mathematical logician.
Shoenfield obtained...
- on June 22, 1964, in New London, Connecticut, to
Frederica Joanne (née
Shoenfield), a
judge of the
Connecticut State Superior Court, and
Russell Langdon...
-
specifically written for her by John Rich (of Big and Rich) and Adam
Shoenfield of MuzikMafia, and
tells the
abbreviated story of her life. Hill recorded...
- in some kind of type theory.
Explicit substitution Hunter 1996, p. 13.
Shoenfield 2001, p. 7.
Corcoran 2006, p. 220.
Tennent 2002, pp. 36–37, 210. Masahiko...
- decidable, a contradiction. This
method of
proof has also been
presented by
Shoenfield (1967);
Charlesworth (1981); and
Hopcroft &
Ullman (1979). Franzén (2005)...
