Model theory for infinite quantifier languages
From MaRDI portal
Publication:3360169
DOI10.4064/FM-134-2-125-142zbMATH Open0733.03027OpenAlexW879295964MaRDI QIDQ3360169FDOQ3360169
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
Recommendations
game-theoretic semanticsSeparation TheoremApproximation Theorem for gamesBeth TheoremEhrenfeucht-Fraissé gameinfinitely deep languagestransfinite quantifier alternations
Cited In (18)
- Game-theoretic inductive definability
- Constructing strongly equivalent nonisomorphic models for unstable theories
- Almost free groups and long Ehrenfeucht-Fraïssé games
- Almost free groups and Ehrenfeucht-Fraïssé games for successors of singular cardinals
- Title not available (Why is that?)
- Relativization of quantifiers in finite models
- Title not available (Why is that?)
- On equivalence of infinitary formulas under the stable model semantics
- Definability and automorphisms in abstract logics
- Infinitary definitions of equivalence relations in models of PA
- The Craig interpolation theorem in abstract model theory
- Lectures on Infinitary Model Theory
- Title not available (Why is that?)
- Iterated elementary embeddings and the model theory of infinitary logic
- Model theoretic results for infinitely deep languages
- Logical operations and iterated infinitely deep languages
- Title not available (Why is that?)
- Applications of model theory to the study of ‘soft’ universals in language
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)
