1 problem

0 votes0 replies1 view
Non-existence of unicorn theories
Non-existence conjecture. There are no unicorn theories.
Conjectureopenmany-sorted-logic model-theory satisfiability-modulo-theoriesarXiv posted 2 days ago

Non-existence of unicorn theories