Infinite terms and a system of natural deduction
Per Martin-Löf (1972)
Compositio Mathematica
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Two theorems on the generation of systems of functions”
Infinite terms and a system of natural deduction
Measurement representations of ordered, relational structures with archimedean ordered translations
R. D. Luce (1988)
Mathématiques et Sciences Humaines
Similarity:
A characterization of determinacy for Turing degree games
E. Kleinberg (1973)
Fundamenta Mathematicae
Similarity:
A mapping-algebra with infinitely many operations
B. Schweizer, A. Sklar (1962)
Colloquium Mathematicae
Similarity:
Homogeneous operations and homogeneous algebras
Edward Marczewski (1964)
Fundamenta Mathematicae
Similarity:
Liouvillian first integrals of homogeneouspolynomial 3-dimensional vector fields
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...
On homogeneous symmetries for evolution systems with constraints
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.