Pregled bibliografske jedinice broj: 1153465
Isometries and the equivalence of the effective separating sequences
Isometries and the equivalence of the effective separating sequences // CCA 2020: Abstract Booklet
online, 2020. str. 36-37 (predavanje, međunarodna recenzija, sažetak, znanstveni)
CROSBI ID: 1153465 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Isometries and the equivalence of the effective
separating sequences
Autori
Iljazović, Zvonko ; Validžić, Lucija
Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, znanstveni
Izvornik
CCA 2020: Abstract Booklet
/ - , 2020, 36-37
Skup
Seventeenth International Conference on Computability and Complexity in Analysis
Mjesto i datum
Online, 09.09.2020. - 11.09.2020
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
We investigate conditions under which any two effective separating sequences in a metric space are equivalent or equivalent up to an isometry. We prove that effective compactness in the 2-dimensional Euclidean space implies computable categoricity.
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
