On Scott and Karp trees of uncountable models
From MaRDI portal
Publication:3360170
DOI10.2307/2274463zbMath0733.03028MaRDI QIDQ3360170
Jouko Väänänen, Tapani Hyttinen
Publication date: 1990
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274463
tree; winning strategy; stationary sets; Ehrenfeucht-Fraissé game; pairs of structures; approximation of games; Karp tree; Scott tree
Related Items
Constructing strongly equivalent nonisomorphic models for unstable theories, Game-theoretic inductive definability, Abelian \(p\)-groups with no invariants, Observations about Scott and Karp trees, Closed maximality principles and generalized Baire spaces, -definability at uncountable regular cardinals, CHAIN MODELS, TREES OF SINGULAR CARDINALITY AND DYNAMIC EF-GAMES
Cites Work