Pages that link to "Item:Q2213940"
From MaRDI portal
The following pages link to Algebras of binary formulas for compositions of theories (Q2213940):
Displaying 3 items.
- Algebras of binary isolating formulas (Q2066096) (← links)
- Algebras of binary formulas for weakly circularly minimal theories with non-trivial definable closure (Q2700052) (← links)
- Algebras of binary formulas for weakly circularly minimal theories with trivial definable closure (Q6203333) (← links)