2–5 Jul 2024
Osijek
Europe/Zagreb timezone

Irreducible continua and computability

5 Jul 2024, 11:10
20m
D2 (School of Applied Mathematics and Informatics, J. J. Strossmayer University of Osijek)

D2

School of Applied Mathematics and Informatics, J. J. Strossmayer University of Osijek

Trg Ljudevita Gaja 6, Osijek
Talk ML: Logic, Computation and Mathematical Aspects of Computer Science 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.