Methods of class field theory to separate logics over finite residue classes and circuit complexity
Visualitza/Obre
Cita com:
hdl:2117/111902
Tipus de documentArticle
Data publicació2017-02-27
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
Separations among the first-order logic Res(0,+,×) of finite residue classes, its extensions with generalized quantifiers, and in the presence of a built-in order are shown in this article, using algebraic methods from class field theory. These methods include classification of spectra of sentences over finite residue classes as systems of congruences, and the study of their h-densities over the set of all prime numbers, for various functions h on the natural numbers. Over ordered structures, the logic of finite residue classes and extensions are known to capture DLOGTIME-uniform circuit complexity classes ranging from AC to TC. Separating these circuit complexity classes is directly related to classifying the h-density of spectra of sentences in the corresponding logics of finite residue classes. General conditions are further shown in this work for a logic over the finite residue classes to have a sentence whose spectrum has no h-density. A corollary of this characterization of spectra of sentences is that in Res(0,+,×,<)+M, the logic of finite residue classes with built-in order and extended with the majority quantifier M, there are sentences whose spectrum have no exponential density.
Descripció
This is a pre-copyedited, author-produced version of an article accepted for publication in Journal of logic and computation following peer review.
CitacióArratia, A., Ortiz, C. Methods of class field theory to separate logics over finite residue classes and circuit complexity. "Journal of logic and computation", 27 Febrer 2017, vol. 27, núm. 7, p. 1987-2009.
ISSN0955-792X
Versió de l'editorhttps://academic.oup.com/logcom/article-abstract/27/7/1987/3056201
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
AACO_JLC2016rev.pdf | 364,6Kb | Visualitza/Obre |