BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Iskander Kalimullin (Kazan (Volga Region) Federal University)
DTSTART:20210323T140000Z
DTEND:20210323T150000Z
DTSTAMP:20260423T005721Z
UID:CTA/53
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CTA/53/">Pun
 ctual categoricity and degrees of punctual categoricity for finitely gener
 ated structures.</a>\nby Iskander Kalimullin (Kazan (Volga Region) Federal
  University) as part of Computability theory and applications\n\n\nAbstrac
 t\nA punctual algebraic structure A (i.e.\, primitive recursive structure 
 on the universe $\\omega$) is punctually categorical if for every its punc
 tual copy B there is an isomorphism from A onto B which is primitive recur
 sive together with the inverse. We note that there is an unexpected dichot
 omy for this notion: every punctually categorical structure is either fini
 tely generated\, or locally finite. This dichotomy also holds for the stru
 ctures which have a degree of punctual categoricity. For the finitely gene
 rated structures we can describe the possible degrees of punctual categori
 city. We have some partial results relating degrees of punctual categorici
 ty of locally finite structures. The results obtained jointly with Alexand
 er Melnikov.\n
LOCATION:https://researchseminars.org/talk/CTA/53/
END:VEVENT
END:VCALENDAR