𝔖 Bobbio Scriptorium
✦   LIBER   ✦

95005863 Defining the perimenopause for application in epidemiologic investigations

✍ Scribed by D.J. Brambilla; S.M. McKinley; C.B. Johannes

Book ID
116135715
Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
122 KB
Volume
22
Category
Article
ISSN
0378-5122

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The definable criterion for definability
The definable criterion for definability in Presburger arithmetic and its applications
✍ An.A. Muchnik πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 131 KB

In Section 1 of present paper we construct a formula 'n(A) of Presburger arithmetic (integers with addition and order) with additional n-ary predicate variable A. This formula is true if and only if predicate A is deΓΏnable in Presburger arithmetic (Theorem 2). This formula is used to prove the foll