scientific article; zbMATH DE number 5635093

MaRDI QIDQ3645585zbMATH OpenFDO

Authors Domenico Cantone, Claudio Chiaruttini, Marianna Nicolosi Asmundo, Eugenio Omodeo

Publication date 18 November 2009

Full work available at URL http://www.dmi.unict.it/ojs/index.php/lematematiche/article/view/48

zbMATH Keywords

computable set theoryconstructible setscumulative hierarchieshereditarily finite setshypersetsproof verificationsuperstructuressyllogistics

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Models of arithmetic and set theory (03C62) Axiomatics of classical set theory and its fragments (03E30)

Recommendations

• A cumulative hierarchy of sets for constructive set theory
• Computable structures and the hyperarithmetical hierarchy
• scientific article; zbMATH DE number 1531921
• Set-theoretic structure of computable sets
• scientific article; zbMATH DE number 5287432
• Bounded Computable Enumerability and Hierarchy of Computably Enumerable Reals
• scientific article; zbMATH DE number 4204629
• scientific article; zbMATH DE number 5875139
• The hierarchy of Borel universal sets
• scientific article; zbMATH DE number 1416987

Cited in

(3)

• The cumulative hierarchy and the constructible universe of ZFA
• LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS
• A cumulative hierarchy of sets for constructive set theory

Describes a project that uses

Uses Software

• Maple

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3645585)