scientific article; zbMATH DE number 2003164

MaRDI QIDQ4435478zbMATH OpenFDO

Authors Stéphane Vaillant

Publication date 12 November 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2646/26460316.htm

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Axiomatics of classical set theory and its fragments (03E30) Nonclassical and second-order set theories (03E70) Cut-elimination and normal-form theorems (03F05)

Recommendations

• A Finite First-Order Theory of Classes
• Finite sets and frege structures
• Complete Axiomatisations of Properties of Finite Sets
• Pairs, sets and sequences in first-order theories
• Set theory. A first course
• The first-order structure of weakly Dedekind-finite set
• TOWARDS A THEORY OF DEFINABLE SETS
• Finite ordered sets. Concepts, results and applications
• scientific article; zbMATH DE number 6006014
• Definable sets in ordered structures

Cited in

(6)

• Finitary set theory
• scientific article; zbMATH DE number 4204330 (Why is no real title available?)
• A Finite First-Order Theory of Classes
• scientific article; zbMATH DE number 1863393 (Why is no real title available?)
• Mathematical Knowledge Management
• The first-order structure of weakly Dedekind-finite set

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 Q4435478)