Model theory for \(L_{\infty \omega _ 1}\) (Q762061): 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(84)90012-5 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2061944844 / rank | |||
Normal rank |
Revision as of 23:09, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Model theory for \(L_{\infty \omega _ 1}\) |
scientific article |
Statements
Model theory for \(L_{\infty \omega _ 1}\) (English)
0 references
1984
0 references
The fact that finiteness can be expressed in the infinitary language \(L_{\infty,\omega}\) is a barrier to a general compactness result for \(L_{\infty,\omega}\). However Barwise and Kreisel showed how to obtain a useful version of ''compactness'' by looking at certain countable fragments of \(L_{\infty,\omega}\). Similarly, the fact that well-foundness is expressible in \(L_{\infty,\omega_ 1}\) has been a stumbling block to compactness results for (uncountable) fragments of \(L_{\infty,\omega_ 1}\). In the paper it is shown that provided one restricts oneself to ''effectively scattered'' theories of \(L_{\infty,\omega_ 1}\), a compactness theorem holds. The paper ends with some applications. However it is still too early to see if this compactness theorem will be as useful as Barwise's compactness theorem.
0 references
infinitary language
0 references
fragments
0 references
compactness
0 references