A Kaufmann model is an ω 1 -like, recursively saturated, rather classless model of P A (or Z F ). Such models were constructed by Kaufmann under the combinatorial principle ♢ ω 1 and Shelah showed they exist in ZFC by an absoluteness argum... ...

请注册登录后继续浏览