116b- Lecture 6

We proved that a set is recursive iff it is \Delta_1-definable.

We showed some elementary properties of the theory \mathsf{Q}, defined end-extensions, and verified that \mathsf{Q} is \Sigma_1-complete.

We also defined what it means for a function, or a set, to be represented in a theory.


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 )

Facebook photo

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

Connecting to %s

%d bloggers like this: