An Introduction to the Technique of Formative Processes in Set Theory

  • Domenico Cantone
  • Pietro Ursino

Table of contents

  1. Front Matter
    Pages i-xii
  2. Theoretical Apparatus

    1. Front Matter
      Pages 1-1
    2. Domenico Cantone, Pietro Ursino
      Pages 3-20
    3. Domenico Cantone, Pietro Ursino
      Pages 21-58
    4. Domenico Cantone, Pietro Ursino
      Pages 59-92
  3. Applications

    1. Front Matter
      Pages 93-93
    2. Domenico Cantone, Pietro Ursino
      Pages 95-112
    3. Domenico Cantone, Pietro Ursino
      Pages 113-143
  4. Back Matter
    Pages 145-154

About this book


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 devoted to applications of the technique of formative processes to decision problems.

All chapters contain exercises and the book is appropriate for researchers and graduate students in the area of computer science logic.


Computable Set Theory Decision Problem Formative Processes Venn Diagrams Theory of Computation Logic Automated Reasoning Computational Logic Computabilty Mathematical Logic

Authors and affiliations

  • Domenico Cantone
    • 1
  • Pietro Ursino
    • 2
  1. 1.Dipt. di Matematica e InformaticaUniversità degli Studi di CataniaCataniaItaly
  2. 2.Dipartimento di Fisica e MatematicaUniversità degli Studi dell'InsubriaComoItaly

Bibliographic information