Utilizad este identificador para citar o enlazar este documento: http://hdl.handle.net/2072/169266
| dc.contributor | Centre de Recerca Matemàtica |
|---|---|
| dc.contributor.author | Atserias, Albert |
| dc.contributor.author | Müller, Moritz |
| dc.date.accessioned | 2011-09-01T10:47:31Z |
| dc.date.available | 2011-09-01T10:47:31Z |
| dc.date.created | 2011 |
| dc.date.issued | 2011 |
| dc.identifier.uri | http://hdl.handle.net/2072/169266 |
| dc.format.extent | 36 |
| dc.format.extent | 320490 bytes |
| dc.format.mimetype | application/pdf |
| dc.language.iso | eng |
| dc.publisher | Centre de Recerca Matemàtica |
| dc.relation.ispartofseries | Prepublicacions del Centre de Recerca Matemàtica;1007 |
| 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 (http://creativecommons.org/licenses/by-nc-nd/2.5/es/) |
| dc.subject.other | Proposició (Lògica) |
| dc.subject.other | Matemàtica constructiva |
| dc.title | Partially definable forcing and bounded arithmetic |
| dc.type | info:eu-repo/semantics/preprint |
| dc.subject.udc | 510 - Consideracions fonamentals i generals de les matemàtiques |
Documentos con el texto completo de este documento
| Ficheros | Tamaño | Formato |
|---|---|---|
| Pr1007.pdf | 320.4 KB |
Documentos relacionados
Otros documentos del mismo autor/a
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