Definability and decidability issues in extensions of the integers with the divisibility predicate - Archive ouverte HAL Access content directly
Journal Articles The Journal of Symbolic Logic Year : 1996

Definability and decidability issues in extensions of the integers with the divisibility predicate

Yuri Matiyasevich
  • Function : Author
  • PersonId : 835123
Denis Richard
  • Function : Author

Domains

Logic [math.LO]
Not file

Dates and versions

hal-00095673 , version 1 (18-09-2006)

Identifiers

  • HAL Id : hal-00095673 , version 1

Cite

Patrick Cegielski, Yuri Matiyasevich, Denis Richard. Definability and decidability issues in extensions of the integers with the divisibility predicate. The Journal of Symbolic Logic, 1996, 61, pp.515-540. ⟨hal-00095673⟩
95 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More