Publication:3012515

From MaRDI portal


zbMath1269.03017MaRDI QIDQ3012515

W. Hugh Woodin

Publication date: 6 July 2011



03A05: Philosophical and critical aspects of logic and foundations

03H15: Nonstandard models of arithmetic

03C62: Models of arithmetic and set theory

03D32: Algorithmic randomness and dimension