Vopěnka's principle and compact logics (Q3760532)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Vopěnka's principle and compact logics |
scientific article |
Statements
Vopěnka's principle and compact logics (English)
0 references
1985
0 references
maximal structures
0 references
Horn sentences
0 references
Vopěnka's principle
0 references
large cardinal axiom
0 references
model theoretic logics
0 references
compact cardinals
0 references
Hanf numbers
0 references
axiomatizability
0 references
