Sökning: "bijective Ehrenfeucht-Fraïssé games"

Hittade 1 avhandling innehållade orden bijective Ehrenfeucht-Fraïssé games.

  1. 1. Lindström quantifiers and higher-order notions on finite structures

    Författare :Anders Andersson; Uppsala universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; Mathematics; Finite model theory; generalized quantifiers; higher-order quantifiers and operators; bijective Ehrenfeucht-Fraïssé games; quantifying over quantifiers; isomorphism quantifiers; MATEMATIK; MATHEMATICS; MATEMATIK; matematisk logik; Mathematical Logic;

    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