𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Categoricity of finitely generated algebraic systems in HF-logic

✍ Scribed by V. Ya. Belyaev; E. E. Lyutikova; V. N. Remeslennikov

Publisher
Springer US
Year
1995
Tongue
English
Weight
794 KB
Volume
34
Category
Article
ISSN
0002-5232

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Categorical abstract algebraic logic: Th
Categorical abstract algebraic logic: The largest theory system included in a theory family
✍ George Voutsadakis πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 116 KB

## Abstract In this note, it is shown that, given a __Ο€__ ‐institution ℐ = γ€ˆ**Sign**, SEN, __C__ 〉, with __N__ a category of natural transformations on SEN, every theory family __T__ of ℐ includes a unique largest theory system $ \overleftarrow T $ of ℐ. $ \overleftarrow T $ satisfies the important

Finitely-Generated Algebras of Smooth Fu
Finitely-Generated Algebras of Smooth Functions, in One Dimension
✍ Graham Allan; Grayson Kakiko; A.G O'Farrell; R.O Watson πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 264 KB

We characterise the closure in C (R, R) of the algebra generated by an arbitrary finite point-separating set of C functions. The description is local, involving Taylor series. More precisely, a function f # C belongs to the closure of the algebra generated by 1 , ..., r as soon as it has the ``right