scientific article; zbMATH DE number 4039871

MaRDI QIDQ3778731zbMATH OpenFDO

Authors Tapani Hyttinen

Publication date 1987

zbMATH Keywords

interpolationmodel theory of infinitary languagesseparationVaught sentences

Mathematics Subject Classification ID

Set-theoretic model theory (03C55) Other infinitary logic (03C75) Large cardinals (03E55) Determinacy principles (03E60) Games with infinitely many players (91A07) Applications of game theory (91A80)

Recommendations

• scientific article; zbMATH DE number 5954365
• Languages vs. -languages in regular infinite games
• Languages versus \(\omega\)-languages in regular infinite games
• scientific article; zbMATH DE number 2048511
• Games in the semantics of programming languages -- an elementary introduction
• Infinite Games, Inductive Definitions and Transfinite Recursion
• Infinite games and transfinite recursion of multiple inductive definitions
• scientific article; zbMATH DE number 6821556
• Games: Unifying logic, language, and philosophy
• Definability in games

Cited in

(9)

• Constructing strongly equivalent nonisomorphic models for unstable theories
• On \(\kappa\)-complete reduced products
• Positive logics
• Weak Ehrenfeucht-Fraïssé games
• scientific article; zbMATH DE number 444448 (Why is no real title available?)
• Model theory for infinite quantifier languages
• scientific article; zbMATH DE number 3906482 (Why is no real title available?)
• scientific article; zbMATH DE number 6821556 (Why is no real title available?)
• Strategical languages of infinite words

This page was built for publication:

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