论文信息 - Peano arithmetic and hyper-Ramsey logic - 字舞流文

Peano arithmetic and hyper-Ramsey logic

Etude des relations entre les extensions de l'arithmetique de Peano du premier ordre et du role des quantificateurs du type de Ramsey dans l'arithmetique de Peano

James H. Schmerl

[1] J. Schmerl,et al. Peano Models with Many Generic Classes , 1973 .

[2] Menachem Magidor,et al. Compact extensions of L(Q) , 1977 .

[3] James Henry Schmerl. Correction to: ``Peano models with many generic classes''. , 1981 .

[4] A. Macintyre,et al. Ramsey quantifiers in arithmetic , 1980 .

[5] James H. Schmerl. Recursively saturated, rather classless models of peano arithmetic , 1981 .

[6] H. Keisler,et al. Handbook of mathematical logic , 1977 .

[7] Matt Kaufmann,et al. A rather classless model , 1977 .

[8] Stephen G. Simpson,et al. On the role of Ramsey quantifiers in first order arithmetic , 1982, Journal of Symbolic Logic.