The prospects for mathematical logic in the twenty-first century

The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed independently.Comment: Association for Symbolic Logi

Positive Reducibility of the Interior of Filled Julia Sets

10.1006/jcom.1994.1023Journal of Complexity104437-44