scientific article; zbMATH DE number 7340151

zbMATH Open1469.03032arXiv1210.2461MaRDI QIDQ4986517FDOQ4986517

Authors: Domenico Cantone, Cristiano Longo 

Publication date: 27 April 2021

Full work available at URL: https://arxiv.org/abs/1210.2461

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

Recommendations

• A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions
• A decidable quantified fragment of set theory involving ordered pairs with applications to description logics
• scientific article; zbMATH DE number 16631
• Decidability of the restricted theories of a class of partial orders
• The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations
• Quasi-decidability of a fragment of the first-order theory of real numbers
• On decidability and axiomatizability of some ordered structures
• Herbrand-satisfiability of a quantified set-theoretic fragment
• Decidable fragments of many-sorted logic
• Decidable Fragments of Many-Sorted Logic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Axiomatics of classical set theory and its fragments (03E30)

Cited In (6)

• Complexity assessments for decidable fragments of set theory. II: A taxonomy for `small' languages involving membership
• Herbrand-satisfiability of a quantified set-theoretic fragment
• A decidable quantified fragment of set theory involving ordered pairs with applications to description logics
• A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions
• On lovely pairs and the \((\exists y\in P)\) quantifier
• Quasi-decidability of a fragment of the first-order theory of real numbers

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