Partially definable forcing and bounded arithmetic

Consultar RECERCAT

Per accedir als documents amb el text complet, si us plau, seguiu el següent enllaç: http://hdl.handle.net/2117/27193

Títol:	Partially definable forcing and bounded arithmetic
Autor/a:	Atserias, Albert; Müller, Moritz
Altres autors:	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
Matèries:	-À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
Drets:
Tipus de document:	Article - Versió presentada Article
Compartir:

Atserias, Albert; Müller, Moritz; Oliva Valls, Sergi

Atserias, Albert; Müller, Moritz; Oliva Valls, Sergi

Atserias, Albert; Müller, Moritz

Atserias, Albert; Müller, Moritz; Universitat Autònoma de Barcelona. Centre de Recerca Matemàtica

Chen, Yijia; Flum, Jörg; Müller, Moritz

Coordinació

Patrocini