Pages that link to "Item:Q1854500"
From MaRDI portal
The following pages link to Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators (Q1854500):
Displaying 5 items.
- The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations (Q737087) (← links)
- Adding the power-set to description logics (Q1989328) (← links)
- Complexity assessments for decidable fragments of set theory. II: A taxonomy for `small' languages involving membership (Q2215960) (← links)
- Formative processes with applications to the decision problem in set theory. II. Powerset and singleton operators, finiteness predicate (Q2252530) (← links)
- Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case* (Q5158658) (← links)
