Relativization of quantifiers in finite models

MaRDI QIDQ2702252zbMATH OpenFDO

Authors Dag Westerståhl

Publication date 5 July 2001

zbMATH Keywords

finite model theorymonotone quantifierrelativizations of type \(\langle 1\rangle\) quantifiers

Mathematics Subject Classification ID

Logic of natural languages (03B65) Model theory of finite structures (03C13) Logic with extra quantifiers and operators (03C80)

Recommendations

• A dichotomy in classifying quantifiers for finite models
• scientific article; zbMATH DE number 4039872
• scientific article; zbMATH DE number 1163931
• Model theory for infinite quantifier languages
• Finite quantifier hierarchies in relational algebras
• Unary quantifiers on finite models
• Some Model‐Theoretic Results for the Relevant Logic with Quantification
• Relativized logspace and generalized quantifiers over finite ordered structures
• Model theory of monadic predicate logic with the infinity quantifier
• Quantitative semantics of the lambda calculus. Some generalisations of the relational model

Cited in

(7)

• Infinitary definitions of equivalence relations in models of PA
• On the expressive power of monotone natural language quantifiers over finite models
• scientific article; zbMATH DE number 3980540 (Why is no real title available?)
• scientific article; zbMATH DE number 4039872 (Why is no real title available?)
• scientific article; zbMATH DE number 536900 (Why is no real title available?)
• On quantification with a finite universe
• Sameness

This page was built for publication: Relativization of quantifiers in finite models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2702252)