Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Partially definable forcing and bounded arithmetic

Autor
Atserias, A.; Müller, M.
Tipus d'activitat
Article en revista
Revista
Archive for mathematical logic
Data de publicació
2015-02-01
Volum
54
Número
1-2
Pàgina inicial
1
Pàgina final
33
DOI
https://doi.org/10.1007/s00153-014-0398-3 Obrir en finestra nova
Repositori
http://hdl.handle.net/2117/27193 Obrir en finestra nova
URL
http://link.springer.com/article/10.1007/s00153-014-0398-3 Obrir en finestra nova
Resum
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.
Paraules clau
Bounded arithmetic, Complexity gap, Depth frege proofs, Forcing, Pigeonhole principle, Proof complexity, Propositional proof systems, Resolution, Size
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants

Arxius