DECIDABILITY AND DEFINABILITY RESULTS CONCERNING WELL-ORDERINGS AND SOME EXTENSIONS OF FIRST ORDER LOGIC by BOGDAN STANISLAW CHLEBUS in Warsaw (Poland) ## 1. Introdiirtion Let L\* denote a countable extension of the first order language L. I n this paper 1 ) definability of the class of well-order
Decidability of Some Extensions of J
β Scribed by R. I. Goldblatt
- Publisher
- John Wiley and Sons
- Year
- 1974
- Tongue
- English
- Weight
- 228 KB
- Volume
- 20
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
As the extensions of Tukey's depth, a family of affine invariant depth functions are introduced for multivariate location and dispersion. The location depth functions can be used for the purpose of multivariate ordering. Such kind ordering can retain more information from the original data than that
to marvin rosenblum, with best wishes on the occasion of his retirement Several extensions of Loewner's theory of monotone operator functions are given. These include a theorem on boundary interpolation for matrix-valued functions in the generalized Nevanlinna class. The theory of monotone operator