Addendum to “Logic of reduced power structures” (Q3335763)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Addendum to “Logic of reduced power structures” |
scientific article |
Statements
Addendum to “Logic of reduced power structures” (English)
0 references
1983
0 references
first-order sentence
0 references
reduced power
0 references
recursively enumerable Horn theory
0 references
elementary equivalence
0 references