An Introduction to the Technique of Formative Processes in Set Theory

• Main Authors: Cantone, Domenico (Author, http://id.loc.gov/vocabulary/relators/aut), Ursino, Pietro (http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Subjects: Mathematical logic.; Mathematical Logic and Formal Languages.; Mathematical Logic and Foundations.

This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications. In the first part the authors introduce basic set-theoretic terminology and properties, the decision problem in set theory, and formative processes. The second part of the book is...

Table of Contents:

• 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.