A weakly definable type which is not definable |
| |
Authors: | James H. Schmerl |
| |
Affiliation: | (1) Department of Mathematics, University of Connecticut, 06269 Storrs, CT, USA |
| |
Abstract: | Summary For each completion of Peano Arithmetic there is a weakly definable type which is not definable. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|