On theories categorical in power
An application of games to the completeness problem for formalized theories
An infinite solitaire game with a random strategy
On axial maps of direct product,s I
A characterization of abelian groups
Models of axiomatic theories admitting automorphisms
On ambiguity in DOS systems
Homomorphisms of direct powers of algebras
A deceptive fact about functions
The paper provides a proof of a combinatorial result which pertains to the characterization of the set of equations which are solvable in the composition monoid of all partial functions on an infinite set.
Page 1