Pages that link to "Item:Q3570158"

The following pages link to The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability (Q3570158):

Displaying 2 items.

• Testable and untestable classes of first-order formulae (Q440006) (← links)
• A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions (Q477206) (← links)