All Questions
1 question with no upvoted or accepted answers
4
votes
0
answers
144
views
Is the orthocenter "(roughly) equationally finitely-based"?
Let $T$ be the "almost everywhere" equational theory of the orthocenter function, "tweaked appropriately" to avoid partiality issues (see this earlier question of mine for details)....
- 20.5k