Model theory for infinite quantifier languages

DOI10.4064/FM-134-2-125-142MaRDI QIDQ3360169zbMATH OpenOpenAlexFDO

Authors Tapani Hyttinen

Publication date 1990

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/211799

zbMATH Keywords

Approximation Theorem for gamesBeth TheoremEhrenfeucht-Fraissé gamegame-theoretic semanticsinfinitely deep languagesSeparation Theoremtransfinite quantifier alternations

Mathematics Subject Classification ID

Other infinitary logic (03C75)

Recommendations

• Relative separation theorems for \(\mathcal L _{\kappa^ + \kappa}\)
• An Ehrenfeucht-Fraïssé game for \(\mathcal L_{\omega_1\omega}\)
• scientific article; zbMATH DE number 3906482
• Model theoretic results for infinitely deep languages
• scientific article; zbMATH DE number 4039871

Cited in

(18)

• The Craig interpolation theorem in abstract model theory
• Model theoretic results for infinitely deep languages
• Constructing strongly equivalent nonisomorphic models for unstable theories
• Game-theoretic inductive definability
• Infinitary definitions of equivalence relations in models of PA
• Almost free groups and long Ehrenfeucht-Fraïssé games
• Definability and automorphisms in abstract logics
• Almost free groups and Ehrenfeucht-Fraïssé games for successors of singular cardinals
• Relativization of quantifiers in finite models
• scientific article; zbMATH DE number 444448 (Why is no real title available?)
• Lectures on Infinitary Model Theory
• scientific article; zbMATH DE number 3906482 (Why is no real title available?)
• scientific article; zbMATH DE number 1163986 (Why is no real title available?)
• On equivalence of infinitary formulas under the stable model semantics
• Applications of model theory to the study of ‘soft’ universals in language
• scientific article; zbMATH DE number 3995641 (Why is no real title available?)
• Logical operations and iterated infinitely deep languages
• Iterated elementary embeddings and the model theory of infinitary logic

This page was built for publication: Model theory for infinite quantifier languages

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