Models of Peano Arithmetic and a question of Sikorski on ordered fields |
| |
| Authors: | James H. Schmerl |
| |
| Affiliation: | (1) Department of Mathematics, University of Connecticut, 06268 Storrs, CT, USA |
| |
| Abstract: | Using models of Peano Arithmetic, we solve a problem of Sikorski by showing that the existence of an ordered field of cardinalityλ with the Bolzano-Weierstrass property forκ-sequences is equivalent to the existence of aκ-tree with exactlyλ branches and with noκ-Aronszajn subtrees. Supported in part by NSF Grant MCS-8301603. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
