共 50 条
- [44] The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two Archive for Mathematical Logic, 2015, 54 : 885 - 898
- [46] A SUFFICIENT CRITERION OF ALGEBRAIC INDEPENDENCE OF NUMBERS VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA, 1983, (04): : 63 - 68
- [50] ON SOME NUMBERS ALGEBRAIC INDEPENDENCE MEASURE VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA, 1992, (02): : 8 - 12