Solovay

Solovay, who looks as if she is wearing special orthopaedic boots, will not talk about her weight history, except to say that she had fat parents and has been a vegetarian since she was eleven.

Why 'weight diversity' activists are standing up for the right to be fat Louise Carpenter 2010

Solovay set out to prove the other, much more difficult, direction by contraposition.

Provability Logic L.C. 2003

Now Solovay devised an ingenious way to simulate such a finite tree in the language of Peano Arithmetic.

Provability Logic L.C. 2003

"I invite her to talk to fat adults who have experienced the hatred and discrimination firsthand," Solovay said, "and ask them how this program would have impacted them as kids."

The Full Feed from HuffingtonPost.com The Huffington Post News Editors 2011

"Regardless of her intentions, the first lady is making things worse," said San Francisco attorney Sondra Solovay, who teaches and writes about weight-based discrimination.

The Full Feed from HuffingtonPost.com The Huffington Post News Editors 2011

Write co-authors Sondra Solovay and Esther Rothblum:

True or false: Fat is bad « Dating Jesus 2009

Write co-authors Sondra Solovay and Esther Rothblum:

12 « November « 2009 « Dating Jesus 2009

For details about the two proofs and the difference between them the reader is referred to Solovay 1990 and Kanamori 2006.)

Kurt Gödel Kennedy, Juliette 2007

Rosser orderings and proof speed-up (see Guaspari and Solovay

Provability Logic L.C. 2003