Quantifier Rank for Parity of Embedded Finite Models

Authors:
Hervé Fournier
Affiliations:
-
Venue:
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
Year:
2001

Citing 7
Cited 0

How to pick out the integers in the rationals: an application of number theory to logic

American Mathematical Monthly
Queries with arithmetical constraints

Theoretical Computer Science - Special issue: principles and practice of constraint programming
A shorter model theory

A shorter model theory
Relational expressive power of constraint query languages

Journal of the ACM (JACM)
New results on quantifier elimination over real closed fields and applications to constraint databases

Journal of the ACM (JACM)
Relational queries over interpreted structures

Journal of the ACM (JACM)
Constraint Databases

Constraint Databases

Quantified Score

Hi-index	0.00

Visualization

Abstract

We are interested in the quantifier rank necessary to express the parity of an embedded set of cardinal smaller than a given bound. We consider several embedding structures like the reals with addition and order, or the field of the complex numbers. We provide both lower and upper bounds. We obtain from these results some bounds on the quantifier rank needed to express the connectivity of an embedded graph, when a bound on its number of vertices is given.