How many first-order variables are needed on finite ordered structures?

MaRDI QIDQ3007256zbMATH OpenFDO

Authors Anuj Dawar

Publication date 21 June 2011

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Model theory of finite structures (03C13) Model theory of ordered structures; o-minimality (03C64)

Recommendations

• scientific article; zbMATH DE number 1302669
• scientific article; zbMATH DE number 1136099
• On the variable hierarchy of first-order spectra
• Finite Variable Logics in Descriptive Complexity Theory
• scientific article; zbMATH DE number 446838

Cited in

(10)

• How many variables are needed to express an existential positive query?
• On the first-order prefix hierarchy
• On the variable hierarchy of first-order spectra
• How many variables are needed to express an existential positive query?
• Parameterized Complexity Classes under Logical Reductions
• On a theorem of Vaught for first order logic with finitely many variables
• scientific article; zbMATH DE number 408792 (Why is no real title available?)
• scientific article; zbMATH DE number 1302669 (Why is no real title available?)
• scientific article; zbMATH DE number 1136099 (Why is no real title available?)
• \(\mathrm{FO}=\mathrm{FO}^3\) for linear orders with monotone binary relations

This page was built for publication: How many first-order variables are needed on finite ordered structures?

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