Pregled bibliografske jedinice broj: 864725
Computable neighbourhoods of points in semicomputable manifolds
Computable neighbourhoods of points in semicomputable manifolds // Annals of pure and applied logic, 168 (2017), 4; 840-859 doi:10.1016/j.apal.2016.10.015 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 864725 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Computable neighbourhoods of points in semicomputable manifolds
Autori
Iljazović, Zvonko ; Validžić, Lucija
Izvornik
Annals of pure and applied logic (0168-0072) 168
(2017), 4;
840-859
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
Computable metric space ; Computable point ; Computable neighbourhood ; Manifold ; Polyhedron
Sažetak
We examine conditions under which a semicomputable set in a computable metric space contains computable points. We prove that computable points in a semicomputable set S are dense if S is a manifold (possibly with boundary) or S has the topological type of a polyhedron. Moreover, we find conditions under which a point in some set has a computable compact neighbourhood in that set. In particular, we show that a point x in a semicomputable set has a computable compact neighbourhood if x has a neighbourhood homeomorphic to Euclidean space.
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
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
