Countable structures, Ehrenfeucht strategies, and Wadge reductions

DOI10.2307/2275478MaRDI QIDQ3984409zbMATH OpenOpenAlexFDO

Authors Tom Linton

Publication date 27 June 1992

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275478

zbMATH Keywords

back and forth gamecontinuous functioncountable languagescountable structurestopological space

Mathematics Subject Classification ID

Model theory of denumerable and separable structures (03C15) Other infinitary logic (03C75) Descriptive set theory (03E15)

Recommendations

• Games played on partial isomorphisms
• A Borel reductibility theory for classes of countable structures
• The Ehrenfeucht-Fraisse-Game of Length ω 1
• Ehrenfeucht-Fraïssé games on ordinals

Cites work

• A Borel reductibility theory for classes of countable structures
• Borel determinacy
• Descriptive set theory
• On the Borel classification of the isomorphism class of a countable model
• The theory of models. Proceedings of the 1963 international symposium at Berkeley
• Theory of models with generalized atomic formulas

Cited in

(3)

• Games played on partial isomorphisms
• Counting the back-and-forth types
• Fine hierarchies and m-reducibilities in theoretical computer science

This page was built for publication: Countable structures, Ehrenfeucht strategies, and Wadge reductions

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