Countable structures, Ehrenfeucht strategies, and Wadge reductions

DOI10.2307/2275478zbMATH Open0737.03023OpenAlexW1974109086MaRDI QIDQ3984409FDOQ3984409

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

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

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)

Cites Work

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

Cited In (3)

• Counting the back-and-forth types
• Fine hierarchies and m-reducibilities in theoretical computer science
• 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)