Complete theories of unars (Q5896424)
From MaRDI portal
scientific article; zbMATH DE number 3869409
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Complete theories of unars |
scientific article; zbMATH DE number 3869409 |
Statements
Complete theories of unars (English)
0 references
1984
0 references
Special sentences are constructed and it is proved that two unars are elementarily equivalent if and only if these sentences are valid on them simultaneously. This gives the possibility to prove that the theory of unars is decidable.
0 references
unars
0 references
elementarily equivalent
0 references
