Sökning: "quantifying over quantifiers"

Hittade 1 avhandling innehållade orden quantifying over quantifiers.

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

    Detta är en avhandling från Uppsala : Acta Universitatis Upsaliensis

    Författare :Anders Andersson; Uppsala universitet.; [1999]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; 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