We study the implications of model completeness a theory for effectiveness presentations models that theory. It is immediate computable $$\mathcal {A}$$ computably enumerable, complete theory, entire elementary diagram $$E(\mathcal {A})$$ must be decidable. prove indeed c.e. T if and only there uniform procedure succeeds in deciding from atomic $$\varDelta (\mathcal all countable T. Moreover, e...

Abstract In his Doppelvortrag (1901), Edmund Husserl introduced two concepts of “definiteness” which have been interpreted as a vindication role in the history completeness. Some commentators defended that meaning these notions should be understood categoricity, while other scholars believed it is closer to syntactic A detailed study early twentieth-century axiomatics and Husserl’s shows, howev...

in this paper, we investigate some properties of eigenvalues and eigenfunctions of boundary value problems with separated boundary conditions. also, we obtain formal series solutions for some partial differential equations associated with the second order differential equation, and study necessary and sufficient conditions for the negative and positive eigenvalues of the boundary value problem....