Pregled bibliografske jedinice broj: 665337
Compact manifolds with computable boundaries
Compact manifolds with computable boundaries // Logical Methods in Computer Science, 9 (2013), 4; 1-22 doi:10.2168/LMCS-9(4:19)2013 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 665337 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Compact manifolds with computable boundaries
Autori
Iljazović, Zvonko
Izvornik
Logical Methods in Computer Science (1860-5974) 9
(2013), 4;
1-22
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
computable metric space; computable set; co-c.e. set; semi-computable compact set; manifold with boundary
Sažetak
We investigate conditions under which a co- computably enumerable closed set in a computable metric space is computable and prove that in each locally computable computable metric space each co-computably enumerable compact manifold with computable boundary is computable. In fact, we examine the notion of a semi-computable compact set and we prove a more general result: in any computable metric space each semi-computable compact manifold with computable boundary is computable. In particular, each semi-computable compact (boundaryless) manifold is computable.
Izvorni jezik
Engleski
Znanstvena područja
Matematika, Računarstvo
POVEZANOST RADA
Projekti:
037-0372791-2802 - Teorija dimenzije i oblika (Mardešić, Sibe, MZOS ) ( CroRIS)
Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, 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::
- MathSciNet
- Zentrallblatt für Mathematik/Mathematical Abstracts
