@Article{         Assadi:2017aa,
  Author        = "Assadi, Ziba and Salehi, Saeed",
  Abstract      = "The ordered structures of natural, integer, rational and real numbers are studied here. It is known that the theories of these numbers in the language of order are decidable and finitely axiomatizable. Also, their theories in the language of order and addition are decidable and infinitely axiomatizable. For the language of order and multiplication, it is known that the theories of",
  date-added    = "2017-10-31 16:59:45 +0000",
  date-modified = "2017-10-31 16:59:45 +0000",
  EPrint        = "1709.05157",
  Month         = "09",
  Title         = "On the Decidability of the Ordered Structures of Numbers",
  URL           = "https://arxiv.org/abs/1709.05157",
  Year          = "2017",
  bdsk-url-1    = "https://arxiv.org/abs/1709.05157",
  File          = "1709.05157 (0) - a - a - v.pdf"
}

@Article{ Assadi:2017aa, Author = "Assadi, Ziba and Salehi, Saeed", Abstract = "The ordered structures of natural, integer, rational and real numbers are studied here. It is known that the theories of these numbers in the language of order are decidable and finitely axiomatizable. Also, their theories in the language of order and addition are decidable and infinitely axiomatizable. For the language of order and multiplication, it is known that the theories of", date-added = "2017-10-31 16:59:45 +0000", date-modified = "2017-10-31 16:59:45 +0000", EPrint = "1709.05157", Month = "09", Title = "On the Decidability of the Ordered Structures of Numbers", URL = "https://arxiv.org/abs/1709.05157", Year = "2017", bdsk-url-1 = "https://arxiv.org/abs/1709.05157", File = "1709.05157 (0) - a - a - v.pdf" }