scientific article; zbMATH DE number 1263308

zbMath0921.03007MaRDI QIDQ4234182

Domenico Cantone, Vincenzo Cutello

Publication date: 20 July 1999

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

zbMATH Keywords

decidabilitysatisfiabilityfinite modelcomputable set theorysublanguages of set theorymodel normalization proceduremulti-sorted languages

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Model theory of finite structures (03C13) Axiomatics of classical set theory and its fragments (03E30)

Related Items (2)

Techniques of computable set theory with applications to proof verification ⋮ The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations

This page was built for publication: