Pregled bibliografske jedinice broj: 937502
Warsaw discs and semicomputability
Warsaw discs and semicomputability // Topology and its applications, 239 (2018), 308-323 doi:10.1016/j.topol.2018.02.014 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 937502 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Warsaw discs and semicomputability
Autori
Iljazović, Zvonko ; Pažek, Bojan
Izvornik
Topology and its applications (0166-8641) 239
(2018);
308-323
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
Computable metric space ; Computable set ; Semicomputable set ; Warsaw circleWarsaw disc
Sažetak
We examine conditions under which a semicomputable set in a computable metric space is computable. Topology plays an important role in the description of such conditions. Motivated by the known result that a semicomputable cell is computable if its boundary sphere is computable, we investigate semicomputable Warsaw discs and their boundary Warsaw circles. We prove that a semicomputable Warsaw disc is computable if its boundary Warsaw circle is semicomputable.
Izvorni jezik
Engleski
Znanstvena područja
Matematika, Računarstvo
POVEZANOST RADA
Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb,
Arhitektonski fakultet, Zagreb,
Prirodoslovno-matematički fakultet, Zagreb
Citiraj ovu publikaciju:
Časopis indeksira:
- Web of Science Core Collection (WoSCC)
- Science Citation Index Expanded (SCI-EXP)
- SCI-EXP, SSCI i/ili A&HCI
- Scopus
