The complexity of satisfaction problems in reverse mathematics

DOI10.3233/COM-150034zbMath1326.03022arXiv1411.1592MaRDI QIDQ5261155

Ludovic Patey

Publication date: 1 July 2015

Published in: Computability (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1411.1592

zbMATH Keywords

reverse mathematicssatisfiabilitydichotomyRamsey's theorem

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

This page was built for publication: The complexity of satisfaction problems in reverse mathematics