Different notions of conuity and intensional models for λ
... P a generalized sequence of its elements (i.e. a sequence with directed set of indexes, not necessarily equal to the set of naturals). Then, in the case if P is increasing (decreasing), we define its limit as the least upper bound (the greatest lower bound) of its elements. In the general case, we p ...
... P a generalized sequence of its elements (i.e. a sequence with directed set of indexes, not necessarily equal to the set of naturals). Then, in the case if P is increasing (decreasing), we define its limit as the least upper bound (the greatest lower bound) of its elements. In the general case, we p ...
A counterexample to the infinite version of a
... of N into two parts A and 8 such that neither A nor 8 contains ...
... of N into two parts A and 8 such that neither A nor 8 contains ...
MS-Word version
... (x,y) of integers, the equality x = y holds if and only if x+i and y+i have the same prime divisors for 0 i k, ...
... (x,y) of integers, the equality x = y holds if and only if x+i and y+i have the same prime divisors for 0 i k, ...
