Intermission

To every omega-consistent recursive class kappa of formulas, there correspond recursive class-signs r such that neither (v Gen r) nor Neg(v Gen r) belongs to Flg(kappa), where v is the free variable of r (Gödel 1931).

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s