An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem (Q3916560): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: δ-Logics and generalized quantifiers / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Axioms for abstract model theory / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Stationary logic / rank | |||
Normal rank | |||
Latest revision as of 11:44, 13 June 2024
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
