An Introduction to the Technique of Formative Processes in Set Theory

Domenico Cantone is a professor at the Universit di Catania. He has been a visiting professor at New York University, Stanford University, ICSI (Berkeley), and Karlsruhe. His interests include mathematical and computer science logic, in particular set theory. Pietro Ursino is a lecturer at the Universit dell'Insubria, his interests include mathematical logic. Part I: Theoretical Apparatus.- Basics of Set Theory.- The Decision Problem in Set Theory.- Formative Processes.- Part II: Applications.- Decidability of MLSSP.- Decidability of MLSSPF.