Pages that link to "Item:Q810007"
From MaRDI portal
The following pages link to Definability properties and the congruence closure (Q810007):
Displaying 5 items.
- Quantifiers and congruence closure (Q1300006) (← links)
- Definability and almost disjoint families (Q1644959) (← links)
- Some closure properties of finite definitions (Q5951911) (← links)
- Closedness properties in ex-identification (Q5958651) (← links)
- MAXIMALITY OF LOGIC WITHOUT IDENTITY (Q6123583) (← links)