Completed
Another W-computably categorical field K
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
