Pregled bibliografske jedinice broj: 542530
Co-c.e. spheres and cells in computable metric spaces
Co-c.e. spheres and cells in computable metric spaces // Logical Methods in Computer Science, 7 (2011), 3; 1-21 doi:10.2168/LMCS-7(3:5)2011 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 542530 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Co-c.e. spheres and cells in computable metric spaces
Autori
Iljazović, Zvonko
Izvornik
Logical Methods in Computer Science (1860-5974) 7
(2011), 3;
1-21
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
computable metric space ; computable set ; co-c.e. set ; n-chain ; spherical n-chain
Sažetak
We investigate conditions under which a co-computably enumerable set in a computable metric space is computable. Using higher-dimensional chains and spherical chains we prove that in each computable metric space which is locally computable each co-computably enumerable sphere is computable and each co-c.e. cell with co-c.e. boundary sphere is computable.
Izvorni jezik
Engleski
Znanstvena područja
Matematika, Računarstvo
POVEZANOST RADA
Projekti:
MZOS-037-0372791-2802 - Teorija dimenzije i oblika (Mardešić, Sibe, MZOS ) ( CroRIS)
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::
- MathSciNet
- Zentrallblatt für Mathematik/Mathematical Abstracts
