Provability Logic: models within models in Peano Arithmetic
暂无分享,去创建一个
[1] M. H. Lob,et al. Solution of a Problem of Leon Henkin , 1955, J. Symb. Log..
[2] Henryk Kotlarski. A Model–Theoretic Approach to Proof Theory , 2019 .
[3] Petr Hájek,et al. Metamathematics of First-Order Arithmetic , 1993, Perspectives in mathematical logic.
[4] Joseph R. Shoenfield,et al. Degrees of models , 1960, Journal of Symbolic Logic.
[5] On Gödel’s second incompleteness theorem , 1992, math/9204207.
[6] D.H.J. de Jongh,et al. The logic of the provability , 1998 .
[7] Dana,et al. JSL volume 88 issue 4 Cover and Front matter , 1983, The Journal of Symbolic Logic.
[8] R. Solovay. Provability interpretations of modal logic , 1976 .
[9] Henryk Kotlarski,et al. The incompleteness theorems after 70 years , 2004, Ann. Pure Appl. Log..