共 50 条
- [2] PARADOX RELATIVE TO SETS OF DEFINABLE NUMBERS COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1970, 270 (11): : 693 - &
- [9] ZF+AC MODELS IN WHICH ENTIRE SET OF REAL NUMBERS DEFINABLE IN ORDINAL TERMS IS LEBESGUE-MEASURABLE COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1969, 269 (14): : 549 - &
- [10] Cut-elimination in the theory of definable sets of natural numbers PUBLICATIONES MATHEMATICAE-DEBRECEN, 1997, 51 (1-2): : 153 - 164