Publication:3645585
From MaRDI portal
zbMath1190.03018MaRDI QIDQ3645585
Domenico Cantone, Marianna Nicolosi-Asmundo, Claudio Chiaruttini, Eugenio Giovanni Omodeo
Publication date: 18 November 2009
Full work available at URL: http://www.dmi.unict.it/ojs/index.php/lematematiche/article/view/48
superstructuresconstructible setsproof verificationhereditarily finite setssyllogisticshypersetscomputable set theorycumulative hierarchies
Mechanization of proofs and logical operations (03B35) Axiomatics of classical set theory and its fragments (03E30) Models of arithmetic and set theory (03C62)
Uses Software