Zobrazeno 1 - 10
of 31
pro vyhledávání: '"ILJAZOVIC, ZVONKO"'
In this work, we study the computability of topological graphs, which are obtained by gluing arcs and rays together at their endpoints. We prove that every semicomputable graph in a computable metric space can be approximated, with arbitrary precisio
Externí odkaz:
http://arxiv.org/abs/2411.13672
Autor:
ILJAZOVIC, ZVONKO1 zilj@math.hr, JELIC, MATEA2 mkalinic@gradst.hr
Publikováno v:
Mathematical Communications. 2024, Vol. 29 Issue 1, p1-19. 19p.
Autor:
Iljazović, Zvonko, Sušić, Igor
We study computable topological spaces and semicomputable and computable sets in these spaces. In particular, we investigate conditions under which semicomputable sets are computable. We prove that a semicomputable compact manifold $M$ is computable
Externí odkaz:
http://arxiv.org/abs/1701.04642
Publikováno v:
In Theoretical Computer Science September 2021
Autor:
Burnik, Konrad, Iljazovic, Zvonko
Publikováno v:
Logical Methods in Computer Science, Volume 10, Issue 2 (June 12, 2014) lmcs:961
A semi-computable set S in a computable metric space need not be computable. However, in some cases, if S has certain topological properties, we can conclude that S is computable. It is known that if a semi-computable set S is a compact manifold with
Externí odkaz:
http://arxiv.org/abs/1404.6487
Autor:
Iljazovic, Zvonko
Publikováno v:
Logical Methods in Computer Science, Volume 9, Issue 4 (December 11, 2013) lmcs:891
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 bo
Externí odkaz:
http://arxiv.org/abs/1310.7911
Autor:
Iljazovic, Zvonko
Publikováno v:
Logical Methods in Computer Science, Volume 7, Issue 3 (August 25, 2011) lmcs:885
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-co
Externí odkaz:
http://arxiv.org/abs/1106.2769
Autor:
Iljazović, Zvonko, Pažek, Bojan
Publikováno v:
In Topology and its Applications 15 April 2018 239:308-323
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
ILJAZOVIĆ, ZVONKO, VALIDŽIĆ, LUCIJA
Publikováno v:
The Bulletin of Symbolic Logic, 2016 Dec 01. 22(4), 445-468.
Externí odkaz:
https://www.jstor.org/stable/44083311