scientific article; zbMATH DE number 2003164

zbMATH Open1023.03047MaRDI QIDQ4435478

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (2)

Unnamed Item ⋮ The first-order structure of weakly Dedekind-finite set

Recommendations

• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Pairs, sets and sequences in first-order theories 👍 👎
• Finite ordered sets. Concepts, results and applications 👍 👎
• Definable sets in ordered structures 👍 👎
• Complete Axiomatisations of Properties of Finite Sets 👍 👎
• A Finite First-Order Theory of Classes 👍 👎
• Finite sets and frege structures 👍 👎
• TOWARDS A THEORY OF DEFINABLE SETS 👍 👎
• The first-order structure of weakly Dedekind-finite set 👍 👎

This page was built for publication: