Model theory for L_ _ 1

DOI10.1016/0168-0072(84)90012-5MaRDI QIDQ762061zbMATH OpenOpenAlexFDO

Authors Sy-David Friedman

Publication date 1984

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(84)90012-5

zbMATH Keywords

compactnessfragmentsinfinitary language

Mathematics Subject Classification ID

Other infinitary logic (03C75)

Review text

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.

Recommendations

• Barwise: Infinitary Logic and Admissible Sets
• On elementary equivalence for fragments of language \(L_{\omega_ 1,\omega}\)
• Compactness of Powers of ω
• A note on extensions of infinitary logic
• scientific article; zbMATH DE number 3906482

Cites work

• Countable admissible ordinals and hyperdegrees
• Forcing with tagged trees
• scientific article; zbMATH DE number 3425598 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• Infinitary logic and admissible sets
• Large infinitary languages. Model theory
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Scott sentences and admissible sets
• Steel forcing and barwise compactness
• Tall α-Recursive Structures
• The next admissible set
• The number of countable models
• Uncountable Admissibles I: Forcing
• Uncountable admissibles. II: Compactness

Cited in

(6)

• On elementary equivalence for fragments of language \(L_{\omega_ 1,\omega}\)
• Lectures on Infinitary Model Theory
• scientific article; zbMATH DE number 6536275 (Why is no real title available?)
• scientific article; zbMATH DE number 5519176 (Why is no real title available?)
• scientific article; zbMATH DE number 1159721 (Why is no real title available?)
• Barwise: Infinitary Logic and Admissible Sets

This page was built for publication: Model theory for \(L_{\infty \omega _ 1}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q762061)