Pages that link to "Item:Q4884668"

The following pages link to Solvable set/hyperset contexts: I. Some decision procedures for the pure, finite case (Q4884668):

Displaying 5 items.

• Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators (Q1854500) (← links)
• Three-variable statements of set-pairing (Q1885036) (← links)
• Set-syllogistics meet combinatorics (Q2971068) (← links)
• The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability (Q3570158) (← links)
• Layered map reasoning (Q4923516) (← links)