Topology in Zfc*


The first-order theory of linear order is far from trivia!. The monadic (secondorder) theory of linear order is much stronger. Stil~ surpr,Mng decidability results were proven in that direction. Rabin proved in [10i that the monadic theory of the rational chain is decidable. Hence the monadic theory of all countable linear orders is decidable. Biichi proved… (More)


  • Presentations referencing similar topics