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

topological spacecontinuous functioncountable structuresback and forth gamecountable languages

Mathematics Subject Classification ID

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

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)

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

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)