scientific article; zbMATH DE number 512972

zbMATH Open0794.03015MaRDI QIDQ4281682FDOQ4281682

Authors: Domenico Cantone, Vincenzo Cutello, Jacob T. Schwartz 

Publication date: 7 April 1994

Title of this publication is not available (Why is that?)

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

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)

Cited In (9)

• Some new decidability results on positive and negative set constraints
• Title not available (Why is that?)
• Decidability results for sets with atoms
• Title not available (Why is that?)
• Techniques of computable set theory with applications to proof verification
• A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT
• Linear Arithmetic with Stars
• On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers
• Combining sets with cardinals

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)