Satisfaction Classes and Combinatorial Sentences Independent From PA
暂无分享,去创建一个
[1] J. Paris. A Mathematical Incompleteness in Peano Arithmetic , 1977 .
[2] Stanisław Krajewski. Non-standard satisfaction classes , 1976 .
[3] Jon Barwise,et al. Admissible sets and structures , 1975 .
[4] John S. Schlipf,et al. Toward model theory through recursive saturation , 1978, Journal of Symbolic Logic.
[5] C. Smorynski. The Incompleteness Theorems , 1977 .