Logic of reduced power structures (Q4749826)
From MaRDI portal
scientific article; zbMATH DE number 3805529
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logic of reduced power structures |
scientific article; zbMATH DE number 3805529 |
Statements
Logic of reduced power structures (English)
0 references
1983
0 references
first-order sentences
0 references
reduced power
0 references
elementary characteristic
0 references
recursively enumerable Horn theory
0 references
elementarily equivalent
0 references
