Jan Bydzovsky, Moritz Müller. Polynomial time ultrapowers and the consistency of circuit lower bounds. Arch. Math. Log., 59(1):127-147, 2020. [doi]
@article{BydzovskyM20, title = {Polynomial time ultrapowers and the consistency of circuit lower bounds}, author = {Jan Bydzovsky and Moritz Müller}, year = {2020}, doi = {10.1007/s00153-019-00681-y}, url = {https://doi.org/10.1007/s00153-019-00681-y}, researchr = {https://researchr.org/publication/BydzovskyM20}, cites = {0}, citedby = {0}, journal = {Arch. Math. Log.}, volume = {59}, number = {1}, pages = {127-147}, }