Return to Answer

• Hao Wang & JBarkley Rosser, Nonstandard models for formal logics (JSL, 1950), and:

• Thorald Skolem, Peano axioms and models of arithmetic, into: Thoralf Skolem & Georg Kreisel & Abraham Robinson & Hao Wang (editors), Mathematical Interpretation of Formal Systems (1955), page 1-on:

The term standard model was introduced by Leon Henkin, Completeness in the Theory of Types (1950) meaning what is today called "normal" model for high-order logic.

• Hao Wang & JBarkley Rosser, Nonstandard models for formal logics (JSL, 1950) (JSTOR), and:

• Thorald Skolem, Peano axioms and models of arithmetic, into: Thoralf Skolem & Georg Kreisel & Abraham Robinson & Hao Wang (editors), Mathematical Interpretation of Formal Systems (1955), page 1-on:

The term standard model was introduced by Leon Henkin, Completeness in the Theory of Types JSL (1950) (JSTOR) meaning what is today called "normal" model for high-order logic.

For an earlier occurrence, we can see :

• Thorald Skolem, Peano axioms and models of arithmetic (1955), into: Thoralf Skolem & Georg Kreisel & Abraham Robinson & Hao Wang (editors), Mathematical Interpretation of Formal Systems (1955), page 1-on:

For earlier occurrences, we can see :

• Hao Wang & JBarkley Rosser, Nonstandard models for formal logics (JSL, 1950), and:

• Thorald Skolem, Peano axioms and models of arithmetic, into: Thoralf Skolem & Georg Kreisel & Abraham Robinson & Hao Wang (editors), Mathematical Interpretation of Formal Systems (1955), page 1-on:

and page 70 for the discussion of unintended models and Skolem paradox.

Note Wang's contribution to ‘Metalogic’ for Fifteenth edition of Encyclopaedia Britannica is dated 1974.

and page 71-71:

Vaguely we feel that each formal system is constructed with a unique intended model, which may be called the standard model, in mind. The speaker shares with many the discomfort over the unqualified notion of a standard model. The notion of standard model relative to certain preassigned interpretations of certain specific notions is easier. [...] In this connection, the situation with number theory is much better than the situation with set theory. The standard interpretation of positive integers can be specified, for example, by emphasizing that every positive integer is either $1$ or obtainable from $1$ by applying the operation of adding $1$ a finite number of times.

Note Wang's contribution to ‘Metalogic’ for Fifteenth edition of Encyclopaedia Britannica is dated 1974.