Positive results in abstract model theory: a theory of compact logics (Q796519): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1016/0168-0072(83)90021-0 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2092513686 / rank | |||
Normal rank | |||
Revision as of 22:44, 19 March 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
