@Article{         BojanczykParysTorunczyk,
  Author        = "Boja{\'n}czyk, Miko{{\l}}aj and Parys, Pawe{{\l}} and Toru{\'n}czyk, Szymon",
  Abstract      = "We consider the logic MSO+U, which is monadic second-order logic extended with the unbounding quantifier. The unbounding quantifier is used to say that a property of finite sets holds for sets of arbitrarily large size. We prove that the logic is undecidable on infinite words, i.e. the MSO+U theory of (N,<) is undecidable. This settles an open problem about the logic, and improves a previous undecidability result, which used infinite trees and additional axioms from set theory.",
  date-added    = "2015-02-20 13:42:25 +0000",
  date-modified = "2015-02-20 13:42:25 +0000",
  EPrint        = "1502.04578",
  Month         = "02",
  Title         = "The MSO+U theory of (N, <) is undecidable",
  URL           = "http://arxiv.org/abs/1502.04578",
  Year          = "2015",
  bdsk-url-1    = "http://arxiv.org/abs/1502.04578",
  File          = "The MSO+U theory of (N, <) is undecidable - Bojańczyk, Parys, Toruńczyk (0) (0) - a - a - h.pdf"
}

@Article{ BojanczykParysTorunczyk, Author = "Boja{\'n}czyk, Miko{{\l}}aj and Parys, Pawe{{\l}} and Toru{\'n}czyk, Szymon", Abstract = "We consider the logic MSO+U, which is monadic second-order logic extended with the unbounding quantifier. The unbounding quantifier is used to say that a property of finite sets holds for sets of arbitrarily large size. We prove that the logic is undecidable on infinite words, i.e. the MSO+U theory of (N,<) is undecidable. This settles an open problem about the logic, and improves a previous undecidability result, which used infinite trees and additional axioms from set theory.", date-added = "2015-02-20 13:42:25 +0000", date-modified = "2015-02-20 13:42:25 +0000", EPrint = "1502.04578", Month = "02", Title = "The MSO+U theory of (N, <) is undecidable", URL = "http://arxiv.org/abs/1502.04578", Year = "2015", bdsk-url-1 = "http://arxiv.org/abs/1502.04578", File = "The MSO+U theory of (N, <) is undecidable - Bojańczyk, Parys, Toruńczyk (0) (0) - a - a - h.pdf" }