𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Refinement of Theorems on Complete Classes of Tests

✍ Scribed by Bernshtein, A. V.

Book ID
118224625
Publisher
Society for Industrial and Applied Mathematics
Year
1986
Tongue
English
Weight
464 KB
Volume
30
Category
Article
ISSN
0040-585X

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Completeness Theorem for Certain Class
A Completeness Theorem for Certain Classes of Recursive Infinitary Formulas
✍ Christopher J. Ash; Julia F. Knight πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 494 KB πŸ‘ 1 views

## Abstract We consider the following generalization of the notion of a structure recursive relative to a set __X.__ A relational structure __A__ is said to be a Ξ“(__X__)‐structure if for each relation symbol __R__, the interpretation of __R__ in __A__ is βˆ‘ relative to __X__, where Ξ² = Ξ“(__R__). We

On a Refinement of the Gelfand-Raikov Th
On a Refinement of the Gelfand-Raikov Theorem
✍ ZoltΓ‘n SasvΓ‘ri πŸ“‚ Article πŸ“… 1991 πŸ› John Wiley and Sons 🌐 English βš– 121 KB

Abetrect. I n the present note we give a simple and short proof of the following refinement of the GELFAND-RAIKOV theorem due to M. E. WALTER [2]: Given a locally compact group G and two elements xl, z g E G, neither of which is the identity e of G, then there exists a continuous, imedocible, unitar