No label defined (Q4249364)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1302878
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1302878 |
Statements
7 January 2001
0 references
algorithmic complexity
0 references
constructive model
0 references
decidability
0 references
Boolean algebra
0 references
Lindenbaum algebra
0 references
prime model
0 references
rigid model
0 references
atomic model
0 references
stable theory
0 references
survey
0 references
finitely axiomatizable theories
0 references
The article is a survey of the results concerning the application of finitely axiomatizable theories to the study of constructive models. The author considers the algorithmic complexity of models, the complexity of Lindenbaum algebras and the complexity of semantic classes of sentences connected with constructive models and decidability. Some open questions are also posed. For the entire collection see [Zbl 0905.03001].
0 references
