Model theory for \(L_{\infty \omega _ 1}\)

DOI10.1016/0168-0072(84)90012-5zbMath0558.03018OpenAlexW2061944844MaRDI QIDQ762061

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Uncountable admissibles. II: Compactness
• Countable admissible ordinals and hyperdegrees
• Large infinitary languages. Model theory
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Tall α-Recursive Structures
• Uncountable Admissibles I: Forcing
• Steel forcing and barwise compactness
• Scott sentences and admissible sets
• Forcing with tagged trees
• The number of countable models
• Infinitary logic and admissible sets
• The next admissible set

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