The following pages link to (Q4362729):
Displaying 4 items.
- On the ternary relation and conditionality (Q452358) (← links)
- Virtual algebraic isomorphisms between predicate calculi of finite rich signatures (Q2145868) (← links)
- The number of non-isomorphic ternary relations (Q2895427) (← links)
- First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories (Q2959176) (← links)