Sökning: "bijective Ehrenfeucht-Fraïssé games"
Hittade 1 avhandling innehållade orden bijective Ehrenfeucht-Fraïssé games.
Sammanfattning : The expressive power of first-order logic is very limited on finite structures. One important way to obtain stronger logics is to add Lindström quantifiers, and another is to add higher-order quantification. We investigate two different ways of combing the two approaches. LÄS MER