The Decision Problem in Set Theory

Chapter

Abstract

In connection with the decision problem in set theory, we are interested in specific collections of quantifier-free formulae, referred to as FRAGMENTS or THEORIES throughout the book. These involve various combinations of set-theoretic operators and predicates. In particular, the elementary Boolean set-theoretic operators of binary union ∪, binary intersection ∩, and set difference \, as well as the predicate symbols of equality =, set inclusion ⊆, and membership ∈, will almost always be present.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing AG 2018

Authors and Affiliations

  1. 1.Dipartimento di Matematica e InformaticaUniversità degli Studi di CataniaCataniaItaly
  2. 2.Dipartimento di Fisica e MatematicaUniversità degli Studi dell’InsubriaComoItaly

Personalised recommendations