An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem (Q3916560)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem |
scientific article |
Statements
An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem (English)
0 references
1981
0 references
equivalence relations between structures
0 references
Robinson consistency theorem
0 references
elementary equivalence
0 references
Lindström-type theorems
0 references
countable structures of finite type
0 references
