Cofinal elementary extensions
暂无分享,去创建一个
We investigate some properties of ordered structures that are related to their having cofinal elementary extensions. Special attention is paid to models of some very weak fragments of Peano Arithmetic.
[1] Paola D'Aquino. Local Behaviour of the Chebyshev Theorem in Models of I Delta0 , 1992, J. Symb. Log..
[2] Emil Jerábek,et al. Sequence encoding without induction , 2012, Math. Log. Q..
[3] Richard Kaye. On Cofinal Extensions of Models of Fragments of Arithmetic , 1991, Notre Dame J. Formal Log..