Abstract

In this paper we continue the study of inner models of the type studied inInner models for set theory—Part I.The present paper is concerned exclusively with a particular kind of model, the ‘super-complete models’ defined in section 2.4 of I. The condition of 2.4 and the completeness condition 1.42 imply that such a model is uniquely determined when its universal class Vmis given. Writing condition and the completeness conditions 1.41, 1.42 in terms of Vm, we may state the definition in the form:3.1. Dfn.A classVmis said to determine a super-complete model if the model whose basic notions are defined by,satisfies axiomsA, B, C.N. B. This definition is not necessarily metamathematical in nature. If desired, it could be written out quite formally as the definition of a notion ‘SCM’ thus:whereψ is the propositional function expressing in terms ofUthe fact that the model determined byUaccording to 3.1 satisfies the relativization of axioms A, B, C. E.g. corresponding to axiom A1m, i.e.,,ψ contains the equivalent term. All the relativized axioms can be similarly expressed in this way by first writing out the relativized form and then replacing ‘ϕ bywhich is in turn replaced by, and similarly replacing ‘ϕ’ by ‘ϕ’ by ‘), andThusψ is obtained in primitive notation.