Complete Coinductive Theorems. II (Q3984293)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Complete Coinductive Theorems. II |
scientific article; zbMATH DE number 25969
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Complete Coinductive Theorems. II |
scientific article; zbMATH DE number 25969 |
Statements
Complete Coinductive Theorems. II (English)
0 references
27 June 1992
0 references
complete coinductive theories
0 references
axiomatization by \(\exists \forall\)- sentences
0 references
tree-decomposable
0 references
saturated models
0 references
forking
0 references
prime model
0 references
0 references
0.78168446
0 references
0.7563827
0 references
0.74577403
0 references
0.74525297
0 references
0.74489456
0 references
