Polynomial time ultrapowers and the consistency of circuit lower bounds
Bydžovský, Jan, Müller, MoritzLanguage:
english
Journal:
Archive for Mathematical Logic
DOI:
10.1007/s00153-019-00681-y
Date:
June, 2019
File:
PDF, 414 KB
english, 2019