A new approach to infinitary languages

DOI10.1016/0003-4843(76)90026-7zbMath0339.02013OpenAlexW2066306175MaRDI QIDQ4106159

Jaakko Hintikka, Veikko Rantala

Publication date: 1976

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(76)90026-7

Mathematics Subject Classification ID

Other infinitary logic (03C75)

Related Items (10)

Higher-order contingentism. III: Expressive limitations ⋮ Scientific progress ⋮ Borel $$^{*}$$ Sets in the Generalized Baire Space and Infinitary Languages ⋮ Undefinability of κ-well-orderings in L_∞κ ⋮ On \(\kappa\)-complete reduced products ⋮ The Craig interpolation theorem in abstract model theory ⋮ Model theoretic results for infinitely deep languages ⋮ Logical operations and iterated infinitely deep languages ⋮ Game-theoretic inductive definability ⋮ Good-for-Game QPTL: An Alternating Hodges Semantics

This page was built for publication: A new approach to infinitary languages