Positive results in abstract model theory: a theory of compact logics (Q796519): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q452475 |
Changed an Item |
||
Property / author | |||
Property / author: Johann A. Makowsky / rank | |||
Normal rank |
Revision as of 08:56, 15 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Positive results in abstract model theory: a theory of compact logics |
scientific article |
Statements
Positive results in abstract model theory: a theory of compact logics (English)
0 references
1983
0 references
(From the authors summary) We prove that compactness is equivalent to the amalgamation property, provided the occurrence number of the logic is smaller than the first uncountable measurable cardinal. We also relate compactness to the existence of certain regular ultrafilters related to the logic and develop a general theory of compactness and its consequences. We also prove some combinatorial results of independent interest.
0 references
compact logics
0 references
compactness
0 references
amalgamation property
0 references
regular ultrafilters
0 references