Arithmetic of divisibility in finite mod
β
Marcin Mostowski; Anna E. Wasilewska
π
Article
π
2004
π
John Wiley and Sons
π
English
β 110 KB
π 1 views
## Abstract We prove that the finiteβmodel version of arithmetic with the divisibility relation is undecidable (more precisely, it has Ξ ^0^~1~βcomplete set of theorems). Additionally we prove FMβrepresentability theorem for this class of finite models. This means that a relation __R__ on natural nu