๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Model-complete theories of bounded unars

โœ Scribed by G. E. Puninskii


Publisher
SP MAIK Nauka/Interperiodica
Year
1988
Tongue
English
Weight
410 KB
Volume
28
Category
Article
ISSN
0037-4466

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


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 trees
โœ G. E. Puninskii ๐Ÿ“‚ Article ๐Ÿ“… 1991 ๐Ÿ› SP MAIK Nauka/Interperiodica ๐ŸŒ English โš– 510 KB
Model-complete theories of pseudo-algebr
โœ 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