Abstract: Decidability of positivity under Stone compactification

Sara Negri

The original definition of formal topology contains a positivity predicate that is a constructive expression of non-emptiness. We show that the presence of a positivity predicate for the Stone compactification of a formal topology implies its decidability.

Back to Sara's homepage.