hrcak mascot   Srce   HID

Izvorni znanstveni članak
https://doi.org/10.3336/gm.47.1.01

Local computability of computable metric spaces and computability of co-c.e. continua

Zvonko Iljazovic ; Department of Mathematics, University of Zagreb, 10 000 Zagreb, Croatia

Puni tekst: engleski, pdf (191 KB) str. 1-20 preuzimanja: 223* citiraj
APA 6th Edition
Iljazovic, Z. (2012). Local computability of computable metric spaces and computability of co-c.e. continua. Glasnik matematički, 47 (1), 1-20. https://doi.org/10.3336/gm.47.1.01
MLA 8th Edition
Iljazovic, Zvonko. "Local computability of computable metric spaces and computability of co-c.e. continua." Glasnik matematički, vol. 47, br. 1, 2012, str. 1-20. https://doi.org/10.3336/gm.47.1.01. Citirano 16.10.2021.
Chicago 17th Edition
Iljazovic, Zvonko. "Local computability of computable metric spaces and computability of co-c.e. continua." Glasnik matematički 47, br. 1 (2012): 1-20. https://doi.org/10.3336/gm.47.1.01
Harvard
Iljazovic, Z. (2012). 'Local computability of computable metric spaces and computability of co-c.e. continua', Glasnik matematički, 47(1), str. 1-20. https://doi.org/10.3336/gm.47.1.01
Vancouver
Iljazovic Z. Local computability of computable metric spaces and computability of co-c.e. continua. Glasnik matematički [Internet]. 2012 [pristupljeno 16.10.2021.];47(1):1-20. https://doi.org/10.3336/gm.47.1.01
IEEE
Z. Iljazovic, "Local computability of computable metric spaces and computability of co-c.e. continua", Glasnik matematički, vol.47, br. 1, str. 1-20, 2012. [Online]. https://doi.org/10.3336/gm.47.1.01

Sažetak
We investigate conditions on a computable metric space under which each co-computably enumerable set satisfying certain topological properties must be computable. We examine the notion of local computability and show that the result by which in a computable metric space which has the effective covering property and compact closed balls each co-c.e. circularly chainable continuum which is not chainable must be computable can be generalized to computable metric spaces which have the effective covering property and which are locally compact. We also give examples which show that neither of these two assumptions can be omitted.

Ključne riječi
Computable metric space; computable set; co-c.e. set; local computability; the effective covering property

Hrčak ID: 82567

URI
https://hrcak.srce.hr/82567

Posjeta: 471 *