In this paper we give new, improved explicit upper bounds for the absolute values of the integer solutions and for the heights of S-integer solutions of elliptic equations over Q.

No abstract

No abstract

The aim of the present paper is to provide the background to construct linear recurring sequences with uniform distribution modulo 2s. The theory is developed and an algorithm based on the achieved results is given. The constructed sequences may have arbitrary large period length depending only on the computational power of the used machines.

In the present paper we estimate the ratio of the number of tautologies and the number of formulae of length n by determining the asymptotic density of tautologies in different kinds of logics with one variable. The logics under consideration are the ones with a single connective (nand or nor); negation with a connective (disjunction or conjunction); and several connectives.