Partially definable forcing and bounded arithmetic
Visualitza/Obre
Cita com:
hdl:2117/27193
Tipus de documentArticle
Data publicació2015-02-01
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
We describe a method of forcing against weak theories of arithmetic and its applications in propositional proof complexity.
Citació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.
ISSN0933-5846
Versió de l'editorhttp://link.springer.com/article/10.1007/s00153-014-0398-3
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
forcing_revised.pdf | Versio revisada sense el format de l'editor | 321,9Kb | Visualitza/Obre |