Publication:3645585
From MaRDI portal
zbMath1190.03018MaRDI QIDQ3645585
Domenico Cantone, Marianna Nicolosi-Asmundo, Eugenio Giovanni Omodeo, Claudio Chiaruttini
Publication date: 18 November 2009
Full work available at URL: http://www.dmi.unict.it/ojs/index.php/lematematiche/article/view/48
superstructures; constructible sets; proof verification; hereditarily finite sets; syllogistics; hypersets; computable set theory; cumulative hierarchies
03B35: Mechanization of proofs and logical operations
03E30: Axiomatics of classical set theory and its fragments
03C62: Models of arithmetic and set theory
Uses Software