scientific article; zbMATH DE number 7340151

MaRDI QIDQ4986517zbMATH OpenFDO

Authors Domenico Cantone, Cristiano Longo

Publication date 27 April 2021

Full work available at URL https://arxiv.org/abs/1210.2461, http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2012.17

Mathematics Subject Classification ID

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

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

Cited in

(7)

• Quasi-decidability of a fragment of the first-order theory of real numbers
• Complexity assessments for decidable fragments of set theory. II: A taxonomy for `small' languages involving membership
• A decidable quantified fragment of set theory involving ordered pairs with applications to description logics
• scientific article; zbMATH DE number 1341470 (Why is no real title available?)
• Herbrand-satisfiability of a quantified set-theoretic fragment
• A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions
• On lovely pairs and the ( y P) quantifier

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)