Clarifying the Systems of Axioms Based on the Method of Indeterminate Coefficients
Tomoko Ninomiya, Masao Mukaidono · 2009
The method of indeterminate coefficients is a strong tool to find out finite models satisfying a system of axioms and to prove that an axiom is independent from the other axioms. We describe the results which were obtained by investigating some systems of axioms based on the method. Then we show some remained problems.