The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “Clausal relations and C-clones”

Remarks on the intrinsic inverse problem

Daniel Bertrand (2002)

Banach Center Publications

Similarity:

The intrinsic differential Galois group is a twisted form of the standard differential Galois group, defined over the base differential field. We exhibit several constraints for the inverse problem of differential Galois theory to have a solution in this intrinsic setting, and show by explicit computations that they are sufficient in a (very) special situation.

Differential equations and algebraic transcendents: french efforts at the creation of a Galois theory of differential equations 1880–1910

Tom Archibald (2011)

Revue d'histoire des mathématiques

Similarity:

A “Galois theory” of differential equations was first proposed by Émile Picard in 1883. Picard, then a young mathematician in the course of making his name, sought an analogue to Galois’s theory of polynomial equations for linear differential equations with rational coefficients. His main results were limited by unnecessary hypotheses, as was shown in 1892 by his student Ernest Vessiot, who both improved Picard’s results and altered his approach, leading Picard to assert that his lay...

Disjunctive Multiple-Conclusion Consequence Relations

Marek Nowak (2019)

Bulletin of the Section of Logic

Similarity:

The concept of multiple-conclusion consequence relation from [8] and [7] is considered. The closure operation C assigning to any binary relation r (dened on the power set of a set of all formulas of a given language) the least multiple-conclusion consequence relation containing r, is dened on the grounds of a natural Galois connection. It is shown that the very closure C is an isomorphism from the power set algebra of a simple binary relation to the Boolean algebra of all multiple-conclusion...