The Ehrenfeucht-Fraisse-Game of Length ω 1

DOI10.2307/2154287zbMath0805.03027arXivmath/9305204OpenAlexW4238989778MaRDI QIDQ3142086

Jouko Väänänen, Saharon Shelah, Alan H. Mekler

Publication date: 6 January 1994

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/9305204

zbMATH Keywords

consistencyconstructibilityEhrenfeucht-Fraïssé-game

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other infinitary logic (03C75) Set-theoretic model theory (03C55)

Related Items (6)

Filtration games and potentially projective modules ⋮ Almost free groups and long Ehrenfeucht-Fraïssé games ⋮ Weak Ehrenfeucht-Fraïssé games ⋮ More on the pressing down game ⋮ The Craig interpolation theorem in abstract model theory ⋮ Game-theoretic inductive definability

This page was built for publication: The Ehrenfeucht-Fraisse-Game of Length ω 1