论文信息 - A weakly definable type which is not definable - 字舞流文

A weakly definable type which is not definable

SummaryFor each completion of Peano Arithmetic there is a weakly definable type which is not definable.

James H. Schmerl

[1] L. A. S. Kirby. Ultrafilters and types on models of arithmetic , 1984, Ann. Pure Appl. Log..

[2] Haim Gaifman,et al. Models and types of Peano's arithmetic , 1976 .