[6] As part of her thesis work, in 1952, Morel found two different countable order types whose squares are equal.
[A][7] In 1955, Morel published a converse to the Knaster–Tarski theorem, according to which every incomplete lattice has an increasing function with no fixed point.
It was published after several important applications of those definitions had already been discovered, and has been called a "classical reference paper".
[E][9] Her only publication with her advisor, Alfred Tarski, was a brief announcement of related research using reduced products in connection with the compactness theorem in mathematical logic.
However, their marriage was not successful, and Davis took a position at the University of Nevada, Reno while Morel returned to her studies at UC Berkeley.
[14] Her husband Delos became the Chief Administrative Law Judge on the Washington State Board of Industrial Insurance Appeals, and died in 2008.