- Kreisel-Lacombe-
Shoenfield-Tseitin theorem,
which was
obtained independently by
Georg Kreisel,
Daniel Lacombe and
Joseph R.
Shoenfield , and by Grigori...
-
Joseph Robert Shoenfield (1927,
Detroit –
November 15, 2000, Durham,
North Carolina) was an
American mathematical logician.
Shoenfield obtained his PhD...
-
Lectures Notes in
Logic Perspective in
Logic Mathematical Logic by
Joseph R.
Shoenfield The Gödel
Lecture Series is
series of
annual ASL
lectures that
trace back...
- 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)....
-
properties of sets are
absolute is well studied. The
Shoenfield absoluteness theorem, due to
Joseph Shoenfield (1961),
establishes the
absoluteness of a large...
- 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...
- Math. Soc. (N.S.). 21 (1): 192–196. doi:10.1090/S0273-0979-1989-15816-3.
Shoenfield, J. R. (1979). "Review: A
course in
mathematical logic by Yu. I Manin"...
- ISBN 978-0-19-158903-4. MR 1686862.
Kleene 2002, p. 189. Lévy 2002, p. 13.
Shoenfield 2001, p. 239. Lévy 2002, p. 4.
Mendelson 1964, pp. 159–161.
Rosser 2008...
- in some kind of type theory.
Explicit substitution Hunter 1973, p. 13.
Shoenfield 2001, p. 7.
Corcoran 2006, p. 220.
Tennent 2002, pp. 36–37, 210. Masahiko...
- must be false.
Halting problem Rice–Shapiro
theorem and Kreisel-Lacombe-
Shoenfield-Tseitin theorem,
generalizations of Rice's
theorem Scott–Curry theorem...