Reparametrization-invariant theories of point relativistic particle interaction with fields of arbitrary tensor dimension are considered. It has been shown that the equations of motion obtained by Kalman [G. Kalman, Phys. Rev. 123, 384 (1961)] are reproduced as the Euler-Lagrange equations for reparametrization-invariant theory in the propertime gauge. The formalism is developed that conserves ...

Introduction The original motivation 1 for the work described in this paper was to determine the proof theoretic strength of the type theories implemented in the proof development systems Lego and Coq, Luo and Pollack 92, Barras et al 96]. These type theories combine the impredicative type of propositions 2 , from the calculus of constructions, Coquand 90], with the inductive types and hierarch...

Any ontological theory commits us to accept and classify a number of phenomena in a more or less specific way – and vice versa: a classification tends to reveal the theoretical outlook of its creator. Objects and their descriptions and relations are not just “given” but determined by theories. Knowledge is fallible and consensus is rare. By implication, knowledge organization has to consider di...