A survey of computable set theory

by Domenico Cantone
Published 1988-11-01

Application of formative processes to the decision problem in set theory

by Domenico Cantone, Pietro Ursino
Published 2004-11-01

A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions

by Domenico Cantone, Cristiano Longo
Published 2012-10-01

Deciding set-theoretic formulae with the predicate 'finite' by a tableau calculus

by Domenico Cantone, Rosa Ruggeri Cannata
Published 1995-11-01

Decidability results for classes of purely universal formulae and quantifiers elimination in set theory

by Domenico Cantone, Vincenzo Cutello, Alberto Policriti
Published 1988-11-01

The Satisfiability Problem for Boolean Set Theory with a Choice Correspondence

by Domenico Cantone, Alfio Giarlotta, Stephen Watson
Published 2017-09-01

A decision procedure for a sublanguage of set theory involving monotone additive and multiplicative functions, II. The multi-level case

by Domenico Cantone, Calogero G. Zarba, Jacob T. Schwartz
Published 2005-05-01

Cumulative hierarchies and computability over universes of sets

by Domenico Cantone, Claudio Chiaruttini, Marianna Nicolosi Asmundo, Eugenio G. Omedeo
Published 2008-05-01

Distant Reading Through Ontologies: The Case Study of Catania’s Benedictines Monastery

by Claudia Cantale, Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria
Published 2017-09-01