On the strength of some topological lattices

Research output: Research - peer-reviewArticle

  • Authors:
  • Marcus Tressl


We study the model theoretic strength of various lattices that occur
naturally in topology, like closed (semi-linear or semi-algebraic or convex)
sets. The method is based on weak monadic second order logic and sharpens
previous results by Grzegorczyk. We also answers a question of Grzegorczyk
on the 'algebra of convex sets'.

Bibliographical metadata

Original languageEnglish
JournalContemporary Mathematics
StateAccepted/In press - 26 Jan 2017