Direct sum decomposition and weak Krull-
โ Marco Perone
๐ Library
๐
2011
๐ English
โ Scribed by Mohammad Gholamzadeh Mahmoudi
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
<p><p>This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results. It uses model theoretic and combinatorial methods to obtain results in proof theory, such as incompleteness theorems or a description of the provably total functions of a theory.</