Jan Mycielski

Learn More
1. INTRODUCTION AND EARLY DEVELOPMENTS. Logic and foundations are a domain of mathematics concerned with basic mathematical structures (in terms of which one can define all other mathematical structures), with the correctness and significance of mathematical reasoning, and with the effectiveness of mathematical computations. In the twentieth century, these(More)
We prove several cases of the following theorem: Every free group word which is not a proper power can represent every permutation of an infinite set. The remaining cases will be proved in a forthcoming paper of R. C. Lyndon. Fx denotes a free group freely generated by the set A. The elements of X are called letters, and the elements of Fx are represented(More)