scientific article; zbMATH DE number 512972

MaRDI QIDQ4281682zbMATH OpenFDO

Authors Domenico Cantone, Vincenzo Cutello, Jacob T. Schwartz

Publication date 7 April 1994

zbMATH Keywords

decision proceduressatisfiability problemuniversal quantificationPresburger additive theory of integersTarski real arithmeticunquantified Presburger arithmetic with setsunquantified theory of sets of integersunquantified theory of sets of reals

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30)

Recommendations

• Decision procedures for elementary sublanguages of set theory: XIII. Model graphs, reflection and decidability
• Decision procedures for elementary sublanguages of set theory: X. Multilevel syllogistic extended by the singleton and powerset operators
• scientific article; zbMATH DE number 1929303
• Decision procedures for theories of sets with measures
• Combining decision procedures for the reals

Cited in

(11)

• Some new decidability results on positive and negative set constraints
• Deciding linear-trigonometric problems
• A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT
• Geometric decision procedures and the VC dimension of linear arithmetic theories
• Combining sets with cardinals
• scientific article; zbMATH DE number 1929303 (Why is no real title available?)
• On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers
• Decidability results for sets with atoms
• Techniques of computable set theory with applications to proof verification
• Linear Arithmetic with Stars
• scientific article; zbMATH DE number 4091462 (Why is no real title available?)

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