The following pages link to Mariana Badano (Q2136295):
Displaying 8 items.
- (Q524142) (redirect page) (← links)
- \(\mathcal{V}_{SI}\) first order implies \(\mathcal{V}_{DI}\) second order (Q524144) (← links)
- Characterization of context-free languages (Q527406) (← links)
- Varieties with existentially definable factor congruences (Q2136296) (← links)
- Varieties with equationally definable factor congruences. II (Q2407971) (← links)
- Varieties with equationally definable factor congruences (Q2443676) (← links)
- Equational definability of (complementary) central elements (Q2814678) (← links)
- THE FUNDAMENTAL THEOREM OF CENTRAL ELEMENT THEORY (Q5858923) (← links)
