2–5 Jul 2024
Osijek
Europe/Zagreb timezone

Irreducible continua and computability

Not scheduled
20m
Osijek

Osijek

School of Applied Mathematics and Informatics, J. J. Strossmayer University of Osijek, Trg Ljudevita Gaja 6, Osijek Faculty of Economics, J. J. Strossmayer University of Osijek , Trg Ljudevita Gaja 7, Osijek
Talk ML: Logic, Computation and Mathematical Aspects of Computer Science

Speaker

Tea Arvaj (University of Zagreb)

Description

We examine conditions under which a semicomputable set is computable. It is known that a semicomputable continuum which is chainable from $a$ to $b$ is computable if $a$ and $b$ are computable points. We generalize this result by showing that a semicomputable continuum which is irreducible from $a$ to $b$ is computable if $a$ and $b$ are computable points. We also examine conditions under which a semicomputable irreducible continuum (that is not necessarily computable) contains a computable point.

Primary authors

Tea Arvaj (University of Zagreb) Zvonko Iljazović (University of Zagreb)

Presentation materials

There are no materials yet.