𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Model complete theories of trees

✍ Scribed by G. E. Puninskii

Publisher
SP MAIK Nauka/Interperiodica
Year
1991
Tongue
English
Weight
510 KB
Volume
31
Category
Article
ISSN
0037-4466

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Nearly Model Complete Theories
Nearly Model Complete Theories
✍ David W. Kueker; Brian P. Turnquist πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 439 KB

A theory T of a language L is 1-model complete (nearly model complete) iff for every formula p(5) of L there is a formula 8 ( 5 ) of L which is a V3-formula (a Boolean combination of universal formulas) such that T k VZ [p \* 01. The main results of the paper give characterizations of nearly model c

Model-complete theories of pseudo-algebr
Model-complete theories of pseudo-algebraically closed fields
✍ William H. Wheeler πŸ“‚ Article πŸ“… 1979 πŸ› Elsevier Science βš– 893 KB

The model-complete, complete theories of pseudo-algebraically closed field:; arc characterized in tilis paper, For example, the theory of algebraically closca lields of a specified characteristic is a model-complete, complete theory of pseudo-algebraically closed fields. The characterization is base

Infinite trees and completely iterative
Infinite trees and completely iterative theories: a coalgebraic view
✍ Peter Aczel; Jiřı́ AdΓ‘mek; Stefan Milius; Jiřı́ Velebil πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 533 KB

InΓΏnite trees form a free completely iterative theory over any given signature-this fact, proved by Elgot, Bloom and Tindell, turns out to be a special case of a much more general categorical result exhibited in the present paper. We prove that whenever an endofunctor H of a category has ΓΏnal coalge