Randomness, pseudorandomness and models of arithmetic

zbMath1432.03067arXiv1210.4692MaRDI QIDQ5222083

Pavel Pudlák

Publication date: 30 March 2020

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

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Model theory (number-theoretic aspects) (11U09) Algorithmic randomness and dimension (03D32)

Related Items (2)

A remark on pseudo proof systems and hard instances of the satisfiability problem ⋮ Polynomial time ultrapowers and the consistency of circuit lower bounds

This page was built for publication: Randomness, pseudorandomness and models of arithmetic