Infinite games and reduced products
From MaRDI portal
Publication:3966110
DOI10.1016/0003-4843(81)90012-7zbMath0501.03014MaRDI QIDQ3966110
Saharon Shelah, Wilfrid Hodges
Publication date: 1981
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0003-4843(81)90012-7
interpolation theorem; ultrafilters; amalgamation property; Horn logic; Beth definability theorem; Craig interpolation theorem; game quantifiers; Feferman-Vaught property; kappa-complete filters; noncompact logic
03C80: Logic with extra quantifiers and operators
03C20: Ultraproducts and related constructions
03C75: Other infinitary logic
Related Items
On the number of automorphisms of uncountable models, On \(\kappa\)-complete reduced products, On the homogeneity property for certain quantifier logics, Meager-nowhere dense games. I: \(n\)-tactics, Some characterization theorems for infinitary universal Horn logic without equality, There are reasonably nice logics