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
Denis Richard
  • Function : Author

Domains

Logic [math.LO]
No 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⟩

Collections

CNRS LACL UPEC
98 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More