Pregled bibliografske jedinice broj: 1153457
Computable sequences and isometries
Computable sequences and isometries // Logic and Applications 2021, LAP 2021: Book of Abstracts
Dubrovnik, Hrvatska, 2021. str. 58-60 (predavanje, međunarodna recenzija, sažetak, znanstveni)
CROSBI ID: 1153457 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Computable sequences and isometries
Autori
Iljazović, Zvonko ; Validžić, Lucija
Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, znanstveni
Izvornik
Logic and Applications 2021, LAP 2021: Book of Abstracts
/ - , 2021, 58-60
Skup
Logic and Applications 2021
Mjesto i datum
Dubrovnik, Hrvatska, 20.09.2021. - 24.09.2021
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
computability structure ; computable metric space ; effective separating sequence ; computably categorical metric space
Sažetak
Computability notions can be introduced into a metric space via an effective separating sequence. We examine conditions under which any two effective separating sequences are equivalent or equivalent up to an isometry.
Izvorni jezik
Engleski
Znanstvena područja
Matematika, Računarstvo
POVEZANOST RADA
Projekti:
HRZZ-IP-2018-01-7459 - Izračunljive strukture, odlučivost i složenost (CompStruct) (Iljazović, Zvonko, HRZZ - 2018-01) ( CroRIS)
Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb,
Prirodoslovno-matematički fakultet, Zagreb
