March 2004 First order quantifiers in~monadic second order logic
H. Jerome Keisler, Wafik Boulos Lotfallah
J. Symbolic Logic 69(1): 118-136 (March 2004). DOI: 10.2178/jsl/1080938831


This paper studies the expressive power that an extra first order quantifier adds to a fragment of monadic second order logic, extending the toolkit of Janin and Marcinkowski [JM01].

We introduce an operation existsn(S) on properties S that says "there are n components having S". We use this operation to show that under natural strictness conditions, adding a first order quantifier word u to the beginning of a prefix class V increases the expressive power monotonically in u. As a corollary, if the first order quantifiers are not already absorbed in V, then both the quantifier alternation hierarchy and the existential quantifier hierarchy in the positive first order closure of V are strict.

We generalize and simplify methods from Marcinkowski [Mar99] to uncover limitations of the expressive power of an additional first order quantifier, and show that for a wide class of properties S, S cannot belong to the positive first order closure of a monadic prefix class W unless it already belongs to W.

We introduce another operation alt(S) on properties which has the same relationship with the Circuit Value Problem as reach(S) (defined in [JM01]) has with the Directed Reachability Problem. We use alt(S) to show that Πn⊈ FO(Σn), Σn⊈ FO(Δn), and Δn+1⊈ FOB(Σn), solving some open problems raised in [Mat98].


Download Citation

H. Jerome Keisler. Wafik Boulos Lotfallah. "First order quantifiers in~monadic second order logic." J. Symbolic Logic 69 (1) 118 - 136, March 2004.


Published: March 2004
First available in Project Euclid: 2 April 2004

zbMATH: 1067.03049
MathSciNet: MR2039351
Digital Object Identifier: 10.2178/jsl/1080938831

Rights: Copyright © 2004 Association for Symbolic Logic


This article is only available to subscribers.
It is not available for individual sale.

Vol.69 • No. 1 • March 2004
Back to Top