Minimal elementary end extensions
暂无分享,去创建一个
[1] Julia F. Knight. Omitting Types in Set Theory and Arithmetic , 1976, J. Symb. Log..
[2] Stephen G. Simpson,et al. Subsystems of second order arithmetic , 1999, Perspectives in mathematical logic.
[3] E. Specker,et al. Modelle der Arithmetik , 1990 .
[4] R. G. Phillips. Omitting types in arithmetic and conservative extensions , 1974 .
[5] James H. Schmerl,et al. The Structure of Models of Peano Arithmetic , 2006 .
[6] Stephen G. Simpson,et al. Factorization of polynomials and Σ10 induction , 1986, Ann. Pure Appl. Log..
[7] H. Gaifman. On Local Arithmetical Functions and Their Application For Constructing Types of Peano's Arithmetic , 1970 .
[8] James H. Schmerl. Subsets coded in elementary end extensions , 2014, Arch. Math. Log..
[9] R. Phillips. A minimal extension that is not conservative. , 1974 .