Completed
Is this really much different? The definition of computable categoricity for a computable structure
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Computable Structure Theory with Noncomputable Structures
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 An opening thought
- 3 Basics of categoricity
- 4 Computability and categoricity
- 5 Trying to define effective categoricity First stab at computable categoricity
- 6 An alternative path
- 7 Is this really much different? The definition of computable categoricity for a computable structure
- 8 Chronology
- 9 Two hands-on examples
- 10 Another W-computably categorical field K
- 11 Using noncomputable fields
- 12 New question: how many structures....?
- 13 Using computable fields
- 14 Using all subfields of
- 15 Isomorphism types of subfields of 0
- 16 Answers about Rx and HTP(K)
- 17 Summarizing the theorem
- 18 Answer to another question
