No label defined (Q4395576)
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 1163951
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1163951 |
Statements
11 June 1998
0 references
countable compactness property
0 references
Löwenheim-Skolem property
0 references
compact logic
0 references
expressiveness
0 references
abstract logics
0 references
0.75215083360672
0 references
0.7520842552185059
0 references
0.7481415867805481
0 references
0.7452833652496338
0 references
The family of all abstract logics is naturally endowed with the partial order relation stating that one logic is more expressive than another. The author proves that the subfamily of logics satisfying the downward Löwenheim-Skolem theorem from an inf-semilattice but not a lattice. The same result is proved for the subfamily of logics satisfying the countable compactness theorem. For the entire collection see [Zbl 0885.00035].
0 references
