Pregled bibliografske jedinice broj: 1100863
Computability of pseudo-cubes
Computability of pseudo-cubes // Annals of pure and applied logic, 171 (2020), 8; 102823, 21 doi:10.1016/j.apal.2020.102823 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 1100863 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Computability of pseudo-cubes
Autori
Horvat, Marko ; Iljazović, Zvonko ; Pažek, Bojan
Izvornik
Annals of pure and applied logic (0168-0072) 171
(2020), 8;
102823, 21
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
Computable topological space ; Computable set ; Semicomputable set ; Pseudo-square ; Pseudo-cube
Sažetak
We examine topological pairs (Δ, Σ) which have computable type: if X iscomputable topological space and f : Δ → X a topological embedding such that f (Δ) and f (Σ) are semicomputable sets in X, then f (Δ) is a computable set in X. It is known that (D, W ) has computable type, where D is the Warsaw disc and W is the Warsaw circle. In this paper we identify a class of topological pairs which are similar to (D, W ) and have computable type: we prove that (Δ, Σ) has computable type if Δ can somehow be approximated by a 2-cell whose boundary circle approximates Σ. Moreover, we examine higher-dimensional analogues of such pairs.
Izvorni jezik
Engleski
Znanstvena područja
Matematika, Računarstvo
POVEZANOST RADA
Projekti:
HRZZ-IP-2018-01-7459 - Izračunljive strukture, odlučivost i složenost (CompStruct) (Iljazović, Zvonko, HRZZ - 2018-01) ( CroRIS)
Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb,
Arhitektonski fakultet, 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
