A characterization of finite unions of arithmetic sequences
✍ Scribed by Štefan Porubský
- Publisher
- Elsevier Science
- Year
- 1982
- Tongue
- English
- Weight
- 440 KB
- Volume
- 38
- Category
- Article
- ISSN
- 0012-365X
No coin nor oath required. For personal study only.
✦ Synopsis
A characterization of unions of finite terms of Be: noulli polynomials is given. systems of residue c!asses a, (mod n, 1. 1 d s d k, in )er finite systems of residue classes a, (mod n,), Osa$q, s= I,2 ,.... k (1)
📜 SIMILAR VOLUMES
## 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
Second moment properties of a class of Markov sequences are established through a diagonal series expansion of the b&variate density function of the sequence. It is shown that if the expansion coe@cients are raised to any positive integer power, the resulting series converges to a bivariate density.