The hierarchy theorem for generalized quantifiers (Q5687317): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.2307/2275786 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2159337272 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generalized Quantifiers and Logical Reducibilities / rank
 
Normal rank
Property / cites work
 
Property / cites work: The number of finite relational structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: An optimal lower bound on the number of variables for graph identification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Vector spaces and binary quantifiers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generalized quantifiers and pebble games on finite structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Definability hierarchies of generalized quantifiers / rank
 
Normal rank

Latest revision as of 16:16, 24 May 2024

scientific article; zbMATH DE number 957320
Language Label Description Also known as
English
The hierarchy theorem for generalized quantifiers
scientific article; zbMATH DE number 957320

    Statements

    The hierarchy theorem for generalized quantifiers (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    15 June 1997
    0 references
    0 references
    0 references
    0 references
    0 references
    structures of a fixed similarity type
    0 references
    definability of quantifiers
    0 references
    model class
    0 references
    monotone quantifier
    0 references
    procedure
    0 references
    algorithm
    0 references
    generalized quantifier
    0 references
    finite structures
    0 references
    first-order logic
    0 references
    ordered structures
    0 references
    0 references