Mostra el registre d'ítem simple
Methods of class field theory to separate logics over finite residue classes and circuit complexity
dc.contributor.author | Arratia Quesada, Argimiro Alejandro |
dc.contributor.author | Ortiz, Carlos E. |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2017-12-13T13:37:18Z |
dc.date.available | 2018-02-27T01:30:43Z |
dc.date.issued | 2017-02-27 |
dc.identifier.citation | 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. |
dc.identifier.issn | 0955-792X |
dc.identifier.uri | http://hdl.handle.net/2117/111902 |
dc.description | This is a pre-copyedited, author-produced version of an article accepted for publication in Journal of logic and computation following peer review. |
dc.description.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. |
dc.format.extent | 23 p. |
dc.language.iso | eng |
dc.subject | Àrees temàtiques de la UPC::Informàtica |
dc.subject.lcsh | Computational complexity |
dc.subject.lcsh | Logic, Symbolic and mathematical |
dc.subject.other | Circuit complexity |
dc.subject.other | Congruence classes |
dc.subject.other | Density |
dc.subject.other | Finite model theory |
dc.subject.other | Prime spectra |
dc.title | Methods of class field theory to separate logics over finite residue classes and circuit complexity |
dc.type | Article |
dc.subject.lemac | Complexitat computacional |
dc.subject.lemac | Lògica matemàtica |
dc.contributor.group | Universitat Politècnica de Catalunya. LARCA - Laboratori d'Algorísmia Relacional, Complexitat i Aprenentatge |
dc.identifier.doi | 10.1093/logcom/exx007 |
dc.description.peerreviewed | Peer Reviewed |
dc.relation.publisherversion | https://academic.oup.com/logcom/article-abstract/27/7/1987/3056201 |
dc.rights.access | Open Access |
local.identifier.drac | 21598546 |
dc.description.version | Postprint (author's final draft) |
local.citation.author | Arratia, A.; Ortiz, C. |
local.citation.publicationName | Journal of logic and computation |
local.citation.volume | 27 |
local.citation.number | 7 |
local.citation.startingPage | 1987 |
local.citation.endingPage | 2009 |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Articles de revista [134]
-
Articles de revista [1.049]