The Craig–Lyndon interpolation theorem in formal logic states that every logical implication can be factored into the composition of two implications, such that each nonlogical symbol in the middle formula of the composition is also used in both of the other two formulas.
•
After a brief teaching stint at the Georgia Institute of Technology, he returned to Harvard for the third time in 1942 and while there taught navigation as part of the V-12 Navy College Training Program while earning his Ph.D.
Lyndon B. Johnson | Roger Moore | Roger Corman | Roger Federer | Roger Daltrey | Who Framed Roger Rabbit | Roger Waters | Lyndon B. Johnson Space Center | Roger Maris | Roger McGuinn | Beaumont-le-Roger | Roger Zelazny | Roger Ebert | Roger Clemens | Roger Smith | Roger Miller | Roger Tory Peterson | Roger Vadim | Roger Sanchez | Barry Lyndon | Roger Blench | Roger Williams | Roger & Me | Roger Taylor | Roger Staubach | Roger Heim | Roger Goodell | Roger Douglas | Roger Williams (theologian) | Roger Sherman |
Tarski's lecture at the 1950 International Congress of Mathematicians in Cambridge ushered in a new period in which model-theoretic aspects were developed, mainly by Tarski himself, as well as C.C. Chang, Leon Henkin, Bjarni Jónsson, Roger Lyndon, and others.