On the Definability Problem of First-Order Sentences by Propositional Intuitionistic Formulas. - Grigor Kolev; Tinko Tinchev (Axioms, 2025)