Learn More
A language L over an alphabet A is said to have a neutral letter if there is a letter e ∈ A such that inserting or deleting e's from any word in A * does not change its membership or non-membership in L. The presence of a neutral letter affects the definability of a language in first-order logic. It was conjectured that it renders all numerical predicates(More)
A language L over an alphabet A is said to have a neutral letter if there is a letter e ∈ A such that inserting or deleting e's from any word in A * does not change its membership (or non–membership) in L. The presence of a neutral letter affects the definability of a language in first–order logic. It was conjectured that it renders all numerical predicates(More)
The counting ability of weak formalisms is of interest as a measure of their expressive power. The question was investigated in several papers in complexity theory [ABO84,FKPS85,DGS86] and in weak arithmetic [PW87]. In each case, the considered formalism (AC 0 {circuits, rst{order logic, ¡0, respectively) was shown to be able to count precisely up to a(More)