Pregled bibliografske jedinice broj: 980419
Semicomputable manifolds in computable topological spaces
Semicomputable manifolds in computable topological spaces // Journal of complexity, 45 (2018), 83-114 doi:10.1016/j.jco.2017.11.004 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 980419 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Semicomputable manifolds in computable topological spaces
Autori
Iljazović, Zvonko ; Sušić, Igor
Izvornik
Journal of complexity (0885-064X) 45
(2018);
83-114
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
computable metric space ; computable topological space ; semicomputable set ; computable set ; manifold with boundary
Sažetak
We study computable topological spaces and semicomputable and computable sets in these spaces. In particular, we investigate conditions under which semicomputable sets are computable in ambient spaces which are second countable Hausdorff. We prove that a semicomputable compact manifold is computable if its boundary is computable. We also show how this result combined with a certain construction which compactifies a semicomputable set leads to the conclusion that some noncompact semicomputable manifolds in computable metric spaces are computable.
Izvorni jezik
Engleski
Znanstvena područja
Matematika, Računarstvo
POVEZANOST RADA
Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb,
Prirodoslovno-matematički fakultet, Zagreb
Profili:
Zvonko Iljazović
(autor)
Citiraj ovu publikaciju:
Časopis indeksira:
- Current Contents Connect (CCC)
- Web of Science Core Collection (WoSCC)
- Science Citation Index Expanded (SCI-EXP)
- SCI-EXP, SSCI i/ili A&HCI
- Scopus
Uključenost u ostale bibliografske baze podataka::
- Zentrallblatt für Mathematik/Mathematical Abstracts
