Pages that link to "Item:Q4291741"
From MaRDI portal
The following pages link to Undecidability results for restricted universally quantified formulae of set theory (Q4291741):
Displaying 4 items.
- Three-variable statements of set-pairing (Q1885036) (← links)
- Decidability and completeness for open formulas of membership theories (Q1903592) (← links)
- Set-syllogistics meet combinatorics (Q2971068) (← links)
- Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini (Q4361575) (← links)
