The relative expressive power of some logics extending first-order logic (Q4194947)
From MaRDI portal
scientific article; zbMATH DE number 3634240
Language | Label | Description | Also known as |
---|---|---|---|
English | The relative expressive power of some logics extending first-order logic |
scientific article; zbMATH DE number 3634240 |
Statements
The relative expressive power of some logics extending first-order logic (English)
0 references
1979
0 references
Expressive Powers
0 references
Real Closed Fields
0 references
Algebraically Closed Fields
0 references
Logics with Cardinal Malitz and Chang Quantifiers
0 references
Weak Second-Order Logics
0 references
Infinitary Logics
0 references