Model theoretic results for infinitely deep languages
From MaRDI portal
compactness[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=downward+L%EF%BF%BD%EF%BF%BDwenheim-Skolem+theorem&go=Go downward L��wenheim-Skolem theorem][https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=%EF%BF%BD%EF%BF%BDos%27s+theorem&go=Go ��os's theorem]
Recommendations
- scientific article; zbMATH DE number 3906482
- scientific article; zbMATH DE number 444448
- Model theory for infinite quantifier languages
- Logical operations and iterated infinitely deep languages
- A generalized small model property for languages which force the infinity
- scientific article; zbMATH DE number 176766
- Infinitary axiomatization of the equational theory of context-free languages
- Infinitary axiomatization of the equational theory of context-free languages
- scientific article; zbMATH DE number 176739
- The syntax and semantics of infinitary languages
Cites work
- scientific article; zbMATH DE number 3906482 (Why is no real title available?)
- scientific article; zbMATH DE number 3672276 (Why is no real title available?)
- scientific article; zbMATH DE number 3623532 (Why is no real title available?)
- scientific article; zbMATH DE number 3637832 (Why is no real title available?)
- A new approach to infinitary languages
- Large infinitary languages. Model theory
Cited in
(4)
This page was built for publication: Model theoretic results for infinitely deep languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1060213)
