Ref

Feferman published his version of the system under the label Ref (PA) (“weak reflective closure of PA”) only in 1991, after several other versions of KF had already appeared in print (e.g.,

Axiomatic Theories of Truth Halbach, Volker 2007

Ref is offering to stop the match, Shawn is saying no.

Liveblogging WrestleMania 25 Tyler 2009

Ref is offering to stop the match, Shawn is saying no.

Archive 2009-04-05 Tyler 2009

If you ever wondered what exactly a POWER JAM is, Jeff Da Ref from the Boston Derby Dames and Dumptruck from the Denver Roller Dolls explain all the elements.

October – 2008 – The Windy City Rollers 2008

Two titans go at it, but Snow has a Tarbaby up his sleeve for when the Ref is distracted!

Think Progress » Snow Defends Use Of The Term ‘Tar Baby,’ Claims Critics Don’t Understand ‘American Culture’ 2006

Punt The Ref is a simple game done fantastically well, where all you have to do is bash your keyboard as hard as you can to pick up speed as you run along an American Football field and then, um, punt the ref as far as you can.

SLACKERJACK – Monsterstack 2006

Entertainment Weekly critic Ken Tucker wrote that Thursday's "Ref" episode was "like being at a party that started off lively and amusing but went on way past the time when everyone should have put on their coats and gone home."

New Evening Lineup Energizes NBC Sam Schechner 2010

Entertainment Weekly critic Ken Tucker wrote that Thursday's "Ref" episode was "like being at a party that started off lively and amusing but went on way past the time when everyone should have put on their coats and gone home."

New Evening Lineup Energizes NBC Sam Schechner 2010

Entertainment Weekly critic Ken Tucker wrote that Thursday's "Ref" episode was "like being at a party that started off lively and amusing but went on way past the time when everyone should have put on their coats and gone home."

New Evening Lineup Energizes NBC Sam Schechner 2010

As for his performances, when that "Ref" appeared toward the end of the Super Bowl show, it reminded me of the frequent cheesiness of Springsteen's "go all night" stage act.

"I love Bruce for the simple reason he is, from all appearances, a social phobe and a depressive." Ann Althouse 2009