The following pages link to (Q4078002):
Displaying 3 items.
- For every n, the n-freely generated algebra is not functionally free in the equational class of diagonalizable algebras. (The algebraization of theories which express Theor. V.) (Q1223284) (← links)
- On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X) (Q1254312) (← links)
- Problemi aperti sulle algebre diagonali (Q4121961) (← links)