Back to Results
First PageMeta Content
Theory of computation / Theoretical computer science / Metalogic / Model theory / Recursively enumerable set / Constructible universe / Presentation of a group / Ordinal number / Ω-consistent theory / Mathematics / Mathematical logic / Computability theory


Logic and the Methodology of Science Autumn 2002 Preliminary Exam Draft August 23, Let ϕe be the eth partial recursive function in some standard enumeration, and let We be the domain of ϕe ). Show that there is
Add to Reading List

Document Date: 2014-08-24 16:43:20


Open Document

File Size: 62,35 KB

Share Result on Facebook

ProvinceOrState

Pennsylvania / /

SocialTag