Partially definable forcing and bounded arithmetic

All of RECERCAT

dc.contributor.author	Atserias, Albert
dc.contributor.author	Müller, Moritz
dc.contributor.author	Universitat Autònoma de Barcelona. Centre de Recerca Matemàtica
dc.date	2011
dc.identifier	https://ddd.uab.cat/record/76068
dc.identifier	urn:oai:ddd.uab.cat:76068
dc.format	application/pdf
dc.language	eng
dc.publisher	Centre de Recerca Matemàtica
dc.relation	Centre de Recerca Matemàtica. Prepublicacions ;
dc.rights	open access
dc.rights	Aquest document està subjecte a una llicència d'ús de Creative Commons, amb la qual es permet copiar, distribuir i comunicar públicament l'obra sempre que se'n citin l'autor original, la universitat i el centre i no se'n faci cap ús comercial ni obra derivada, tal com queda estipulat en la llicència d'ús
dc.rights	https://creativecommons.org/licenses/by-nc-nd/2.5/
dc.subject	Proposició (Lògica)
dc.subject	Matemàtica constructiva
dc.title	Partially definable forcing and bounded arithmetic
dc.type	Article
dc.type	Prepublicació