Switch to: References

Add citations

You must login to add citations.
  1. (1 other version)An Ehrenfeucht‐Fraïssé class game.Wafik Boulos Lotfallah - 2004 - Mathematical Logic Quarterly 50 (2):179-188.
    This paper introduces a new Ehrenfeucht-Fraïssé type game that is played on two classes of models rather than just two models. This game extends and generalizes the known Ajtai-Fagin game to the case when there are several alternating moves played in different models. The game allows Duplicator to delay her choices of the models till the very end of the game, making it easier for her to win. This adds on the toolkit of winning strategies for Duplicator in Ehrenfeucht-Fraïssé type (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)An Ehrenfeucht-Fraisse class game.Wafik Boulos Lotfallah - 2004 - Mathematical Logic Quarterly 50 (2):179-188.
    This paper introduces a new Ehrenfeucht‐Fraïssé type game that is played on two classes of models rather than just two models. This game extends and generalizes the known Ajtai‐Fagin game to the case when there are several alternating (coloring) moves played in different models. The game allows Duplicator to delay her choices of the models till (practically) the very end of the game, making it easier for her to win. This adds on the toolkit of winning strategies for Duplicator in (...)
    Download  
     
    Export citation  
     
    Bookmark