Order:
  1.  22
    Chainable and circularly chainable semicomputable sets in computable topological spaces.Eugen Čičković, Zvonko Iljazović & Lucija Validžić - 2019 - Archive for Mathematical Logic 58 (7-8):885-897.
    We examine conditions under which, in a computable topological space, a semicomputable set is computable. It is known that in a computable metric space a semicomputable set S is computable if S is a continuum chainable from a to b, where a and b are computable points, or S is a circularly chainable continuum which is not chainable. We prove that this result holds in any computable topological space.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  14
    Computable neighbourhoods of points in semicomputable manifolds.Zvonko Iljazović & Lucija Validžić - 2017 - Annals of Pure and Applied Logic 168 (4):840-859.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  15
    Effective compactness and orbits of points under the isometry group.Zvonko Iljazović & Lucija Validžić - 2023 - Annals of Pure and Applied Logic 174 (2):103198.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark