tricomplexity en · NOUN
Etymology
From tricomplex + -ity.
Meanings
-
(uncountable) The condition of being tricomplex
Furthermore, through tuning the 4th parameter P4, at the cost of sacrificing recursive axiomatizability but not simplicity or elegance, the above extensional completeness can be strengthened to intensional completeness, according to which every formula representing a problem with a solution from the given tricomplexity class is a theorem of the system.
2015, Giorgi Japaridze, “Build your own clarithmetic II”, in arXiv: