@Article{         AntonopoulosHunterRazaWorrell,
  Author        = "Antonopoulos, Timos and Hunter, Paul and Raza, Shahab and Worrell, James",
  Abstract      = "A natural framework for real-time specification is monadic first-order logic over the structure $(\mathbb{R},<,+1)$---the ordered real line with unary $+1$ function. Our main result is that $(\mathbb{R},<,+1)$ has the 3-variable property: every monadic first-order formula with at most 3 free variables is equivalent over this structure to one that uses 3 variables in total. As a corollary we obtain also the 3-variable property for the structure $(\mathbb{R},<,f)$ for any fixed linear function $f:\mathbb{R}\rightarrow\mathbb{R}$. On the other hand, we exhibit a countable dense linear order $(E,<)$ and a bijection $f:E\rightarrow E$ such that $(E,<,f)$ does not have the $k$-variable property for any $k$.",
  date-added    = "2015-02-04 06:44:16 +0000",
  date-modified = "2015-02-04 06:44:16 +0000",
  EPrint        = "1408.1851",
  Month         = "08",
  Title         = "Three Variables Suffice for Real-Time Specification",
  URL           = "http://arxiv.org/abs/1408.1851",
  Year          = "2014",
  bdsk-url-1    = "http://arxiv.org/abs/1408.1851",
  File          = "Three Variables Suffice for Real-Time Specification - Antonopoulos, Hunter, Raza, Worrell (1) (0) - a - a - g.pdf"
}

@Article{ AntonopoulosHunterRazaWorrell, Author = "Antonopoulos, Timos and Hunter, Paul and Raza, Shahab and Worrell, James", Abstract = "A natural framework for real-time specification is monadic first-order logic over the structure $(\mathbb{R},<,+1)$---the ordered real line with unary $+1$ function. Our main result is that $(\mathbb{R},<,+1)$ has the 3-variable property: every monadic first-order formula with at most 3 free variables is equivalent over this structure to one that uses 3 variables in total. As a corollary we obtain also the 3-variable property for the structure $(\mathbb{R},<,f)$ for any fixed linear function $f:\mathbb{R}\rightarrow\mathbb{R}$. On the other hand, we exhibit a countable dense linear order $(E,<)$ and a bijection $f:E\rightarrow E$ such that $(E,<,f)$ does not have the $k$-variable property for any $k$.", date-added = "2015-02-04 06:44:16 +0000", date-modified = "2015-02-04 06:44:16 +0000", EPrint = "1408.1851", Month = "08", Title = "Three Variables Suffice for Real-Time Specification", URL = "http://arxiv.org/abs/1408.1851", Year = "2014", bdsk-url-1 = "http://arxiv.org/abs/1408.1851", File = "Three Variables Suffice for Real-Time Specification - Antonopoulos, Hunter, Raza, Worrell (1) (0) - a - a - g.pdf" }