E. Omodeo

Does every recursively enumerable set admit a finite-fold diophantine representation?
The axiom of elementary sets on the edge of Peircean expressibility
Three-variable statements of set-pairing
Solvable set/hyperset contexts: II. A goal driven unification algorithm for the blended case
Decidability of E*A-sentences in Membership Theories

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