Pages that link to "Item:Q737087"
From MaRDI portal
The following pages link to The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations (Q737087):
Displaying 5 items.
- A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions (Q477206) (← links)
- The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations (Q737087) (← links)
- (Q3384163) (← links)
- Three-quantifier sentences (Q4425144) (← links)
- (Q4986517) (← links)