Seminars
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Calendar
Search
Add a seminar

RSS
Forthcoming seminars




Computable linear orders and linearly ordered structures
October 19, 2019, Kazan, Kremlevskaya str., 35, Kazan Federal University, room 509
 


Relations on computable linear orders and the Ershov hierarchy

Ya. A. Mikhailovskaya

Number of views:
This page:33

Abstract: В работе исследуются отношения на вычислимых линейных порядках, имеющие связь с разностной иерархией Ершова. Получен ряд результатов эффективной категоричности линейных порядков, сигнатура которых обогащена такими отношениями. In this talk we consider relations on computable linear orders what have connections with the difference hierarchy of Ershov. We obtain some results of effective categoricity on computable structures which are linear orders enriched such relations.
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024