Pages that link to "Item:Q3431961"
From MaRDI portal
The following pages link to Definability Over the Class of all Partitions (Q3431961):
Displaying 4 items.
- Second-order logic on equivalence relations (Q3643314) (← links)
- Stepping up lemmas in definable partitions (Q3695278) (← links)
- Definability in the class of all -frames – computability and complexity (Q4586217) (← links)
- Decidable and Undecidable Problems for First-Order Definability and Modal Definability (Q6487229) (← links)