Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/27193
Título:
|
Partially definable forcing and bounded arithmetic
|
Autor/a:
|
Atserias, Albert; Müller, Moritz
|
Otros autores:
|
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
Abstract:
|
We describe a method of forcing against weak theories of arithmetic and its applications in propositional proof complexity. |
Abstract:
|
Peer Reviewed |
Materia(s):
|
-Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica -Àrees temàtiques de la UPC::Matemàtiques i estadística::Anàlisi matemàtica -Computational complexity -Bounded arithmetic -Forcing -Proof complexity -Propositional proof systems -Depth frege proofs -Pigeonhole principle -Complexity gap -Resolution -Size -Complexitat computacional |
Derechos:
|
|
Tipo de documento:
|
Artículo - Versión presentada Artículo |
Compartir:
|
|
Mostrar el registro completo del ítem