Real numbers

• This topology coincides with the natural topology for ℝ

• We can't represent real numbers finitely

• So we must approximate them

• The set { 2 } is not semidecidable, so not open

• But it is closed

• And more generally, open intervals are semidecidable