Publication:3012515
From MaRDI portal
zbMath1269.03017MaRDI QIDQ3012515
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