Partially definable forcing and bounded arithmetic

All of RECERCAT

Title:	Partially definable forcing and bounded arithmetic
Author:	Atserias, Albert; Müller, Moritz; Universitat Autònoma de Barcelona. Centre de Recerca Matemàtica
Subject(s):	-Proposició (Lògica) -Matemàtica constructiva
Rights:	open access 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 https://creativecommons.org/licenses/by-nc-nd/2.5/
Document type:	Article Prepublicació
Published by:	Centre de Recerca Matemàtica
Share:
Uri:	https://ddd.uab.cat/record/76068