Pages that link to "Item:Q2915897"
From MaRDI portal
The following pages link to The Bernays-Schönfinkel-Ramsey class for set theory: decidability (Q2915897):
Displaying 5 items.
- A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions (Q477206) (← links)
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
- Formative processes with applications to the decision problem in set theory. II. Powerset and singleton operators, finiteness predicate (Q2252530) (← links)
- Set-syllogistics meet combinatorics (Q2971068) (← links)
- A practical decision procedure for quantifier-free, decidable languages extended with restricted quantifiers (Q6653095) (← links)
