Complexity estimates for the relation of coincidence of model-theoretic properties with an application to semantic classes (Q3380231)
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 7401935
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Complexity estimates for the relation of coincidence of model-theoretic properties with an application to semantic classes |
scientific article; zbMATH DE number 7401935 |
Statements
27 September 2021
0 references
first-order logic
0 references
model-theoretic property
0 references
Tarski-Lindenbaum algebra
0 references
semantic type
0 references
signature reduction procedure
0 references
universal construction of finitely axiomatizable theories
0 references
0.7761039733886719
0 references
0.7424310445785522
0 references
0.7424310445785522
0 references
