Partially definable forcing and bounded arithmetic

Home | About RECERCAT | Contact

Català | Castellano

All of RECERCAT

By Communities &
Collections By Defense Date By Authors By Titles By Subject

This Collection

By Defense Date By Authors By Titles By Subject

Statistics

View Statistics All RECERCAT

My RECERCAT

Other repositories directory

RECERCAT Home > Universitat Politècnica de Catalunya > Documents de recerca > View document

To access the full text documents, please follow this link: http://hdl.handle.net/2117/27193

dc.contributor	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.contributor	Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
dc.contributor.author	Atserias, Albert
dc.contributor.author	Müller, Moritz
dc.date	2015-02-01
dc.identifier.citation	Atserias, A.; Müller, M. Partially definable forcing and bounded arithmetic. "Archive for mathematical logic", 01 Febrer 2015, vol. 54, núm. 1-2, p. 1-33.
dc.identifier.citation	0933-5846
dc.identifier.citation	10.1007/s00153-014-0398-3
dc.identifier.uri	http://hdl.handle.net/2117/27193
dc.language.iso	eng
dc.relation	http://link.springer.com/article/10.1007/s00153-014-0398-3
dc.rights	info:eu-repo/semantics/openAccess
dc.subject	Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
dc.subject	Àrees temàtiques de la UPC::Matemàtiques i estadística::Anàlisi matemàtica
dc.subject	Computational complexity
dc.subject	Bounded arithmetic
dc.subject	Forcing
dc.subject	Proof complexity
dc.subject	Propositional proof systems
dc.subject	Depth frege proofs
dc.subject	Pigeonhole principle
dc.subject	Complexity gap
dc.subject	Resolution
dc.subject	Size
dc.subject	Complexitat computacional
dc.title	Partially definable forcing and bounded arithmetic
dc.type	info:eu-repo/semantics/submittedVersion
dc.type	info:eu-repo/semantics/article
dc.description.abstract	We describe a method of forcing against weak theories of arithmetic and its applications in propositional proof complexity.
dc.description.abstract	Peer Reviewed

Show simple item record

All of RECERCAT

This Collection

Statistics

My RECERCAT

Related documents

Other documents of the same author