The notion of computable categoricity of structures is one of the fundamental in computable model theory. A computable structure A is computably categorical if for every computable structure B isomorphic to A, there exists a computable isomorphism from A to B. We will study the question of syntactical characterization of the notion of computable categoricity. The answer exists only under some additional effectiveness condition. Examination of this characterization without the effectiveness condition will lead us to the notion of relative computable categoricity.
Computable categoricity vs. relative computable categoricity
12.11.2009 15:00 - 16:30
Organiser:
KGRC
Location:
SR 101, 2. St., Währinger Str. 25