Polynomial time ultrapowers and the consistency of circuit lower bounds

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Jan Bydžovský, Moritz Müller

Journal title: Archive for Mathematical Logic

Journal number: 59/1-2

Journal publisher: Springer Verlag

Published year: 2020

Published pages: 127-147

DOI identifier: 10.1007/s00153-019-00681-y

ISSN: 0933-5846