Pages that link to "Item:Q912082"

The following pages link to Decision procedures for elementary sublanguages of set theory. XV: Multilevel syllogistic extended by the predicate Finite and the operators singleton and \(pred_ <\) (Q912082):

Displaying 2 items.

• A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions (Q477206) (← links)
• (Q4508546) (← links)