Infinite terms and a system of natural deduction
Per Martin-Löf (1972)
Compositio Mathematica
Similarity:
Per Martin-Löf (1972)
Compositio Mathematica
Similarity:
R. D. Luce (1988)
Mathématiques et Sciences Humaines
Similarity:
E. Kleinberg (1973)
Fundamenta Mathematicae
Similarity:
B. Schweizer, A. Sklar (1962)
Colloquium Mathematicae
Similarity:
Edward Marczewski (1964)
Fundamenta Mathematicae
Similarity:
Jean Moulin Ollagnier (1996)
Colloquium Mathematicae
Similarity:
Given a 3-dimensional vector field V with coordinates , and that are homogeneous polynomials in the ring k[x,y,z], we give a necessary and sufficient condition for the existence of a Liouvillian first integral of V which is homogeneous of degree 0. This condition is the existence of some 1-forms with coordinates in the ring k[x,y,z] enjoying precise properties; in particular, they have to be integrable in the sense of Pfaff and orthogonal to the vector field V. Thus, our theorem...
Sergyeyev, Artur
Similarity:
The author obtains sufficient conditions of the finite independence and the commutativity for local as well as non-local homogeneous symmetries of a large class of -dimensional evolution systems.
Edward Huntington (1935)
Fundamenta Mathematicae
Similarity: