Franco Parlamento

Finite families with few symmetric differences
Witnessing differences without redundancies
Decidability of E*A-sentences in Membership Theories
A derived algorithm for evaluating epsilon-expressions over abstract sets
Undecidability Results for Restricted Universally Quantified Formulae of Set Theory
Decision Procedures for Elementary Sublanguages of Set Theory XIII. Model Graphs, Reflection and Decidability.
Expressing Infinity without Foundation
A contribution to the Automated Treatment of Membership Theories
Note on: The Logically Simplest Form of the Infinity Axiom
Truth Table for a Combinatorial Kernel of Set Theories
Secision Procedures for Elementary Sublanguages of Set Theory XI. Unsolvability of the Decision Problem for a Restricted Subclass of the Delta_0-Formulas in Set Theory
The Logically Simplest Form of the Infinity Axiom

Published with Wowchemy — the free, open source website builder that empowers creators.