REMARKS ON ABSTRACT GALOIS THEORY

This paper is a historical companion to a previous one, in which it was studied the so-called abstract Galois theory as formulated by the Portuguese mathematician José Sebastião e Silva (see da Costa, Rodrigues (2007)). Our purpose is to present some applications of abstract Galois theory to higher-order model theory, to discuss Silva’s notion of expressibility and to outline a classical Galois theory that can be obtained inside the two versions of the abstract theory, those of Mark Krasner and of Silva. Some comments are made on the universal theory of (set-theoretic) structures.


INTRODUCTION
In da Costa, Rodrigues (2007) the so-called abstract or generalized Galois theory, especially according to the views of José Sebastião e Silva, was presented.It was noted that there is another version of the

HIGHER-ORDER STRUCTURES AND MODELS
We define the set T of types as follows: 1.The symbol i belongs to T .
3. The elements of T are only those given by clauses 1 and 2.
The order of a type t, ord(t), is introduced at follows: 1. ord(i) = 0.
If D is a set, then it is possible to define a function τ D or, to simplify, τ , whose domain is T , by the following clauses: 1. τ (i) = D.
The set ∪range (τ D ) is denoted by ε(D), and is called the scale based on D. The objects of τ (i) are called individuals of ε(D), and the objects of τ (t), ord(t) > 0, are called objects or relations of type t; the type of individuals is i.
The cardinal k(D), defined by the condition k(D) = sup{D, P(D), P(P(D)), ...}, is the cardinal associated to ε(D).(Sometimes, instead of k(D), we write k D .)A sequence is a function whose domain is an ordinal number, finite or infinite.bλ is the range of the sequence b λ .
We call structure e with basic set D an ordered pair e = D, r ι , where r ι is a sequence of elements of ε(D).We also call D the domain of e, and it is supposed to be non-empty.D and the terms of r ι are the primitive elements of e; the elements of D are the individuals of e.
Usually we identify such individuals with their unit classes.ε(D) and k(D) are the scale and the cardinal associated to e, respectively.In all cases, the ordinal which is the domain of r ι is strictly less than k(D).
The order of an object of ε(D) is the order of its type.The order of e = D, r ι , denoted by ord(e), is defined as follows: if there is the greatest order of the objects of the range of r ι , then ord(e) is this greatest order; otherwise, ord(e) = ω.
L ω ωκ (R) is the higher-order infinitary language introduced in da Costa, Rodrigues (2007).Its blocks of quantifiers are finite, and conjunctions and disjunctions have length strictly less than k, when k > ω; if k = ω, such conjunctions and disjunctions are always finite.R is the set of constants of the language, each having a fixed type.
L ω ωκ (R) can be interpreted in structures of form e = D, r ι the constants denoting D and the objects r ι , each constant possessing the same type as that of the object it denotes.The sequence r ι has as its domain an ordinal strictly less than k D , usually finite or denumerable.
In what follows we may identify a constant to the object it denotes; this will be done when there is no danger of confusion.In the structure e = D, r ι , D and the r ι are called the primitive concepts or terms of e.
Sentences of our language are formulas without free variables.If ϕ is a sentence, then we say that ϕ is true in the structure e = D, r ι , in analogy with the case of first-order (finitary) logic.To express that ϕ is true in e we write: e ϕ.
The notions of model of a set of sentences and model of a sentence are the usual ones.We write Γ ϕ to mean that every model of the set of sentences Γ is also a model of ϕ.
Let a be an object of ε(D), that is, of the scale associated to e.In da Costa, Rodrigues (2007), using the language L ω ωκ (R), it was studied the concept of definability (in the wide sense) of an element of ε(D) in the structure e by means of the sequence b λ of elements of ε(D).This concept is characterized as follows: a is definable in the wide sense in e with the help of the sequence b λ if there is a formula ϕ( where ϕ(x; b λ ) contains x as its only free variable.
Evidently, it is supposed that L ω ωκ (R) is interpreted in e, and that other standard conditions are satisfied.Now we introduce the concept of definability in the wide sense on the basis of the set Γ of sentences and in terms of a finite sequence of constants (or a set of constants).For that, let Γ(r, b λ , c 0 , c 1 , . . ., c n−1 ) be a set of sentences in which the only constants are r, the terms of the sequence b λ and the terms of the finite sequence c 0 , c 1 , . . ., c n−1 .(We will abbreviate that set by Γ.)The constant r is said to be definable in the wide sense on the basis of the set Γ by means of the constants b λ if there is a formula ψ(x; b λ ), having x as its sole free variable and containing as constants only the constants b λ , such that Clearly, x and r must have the same type.(From now on, restrictions of type will not be made explicit whenever there is no danger of confusion.) When in L ω ωκ (R), κ = ω, we say that r is strictly definable on the basis of Γ by means of the constants b λ -a notion that we essentially owe to Tarski (see Krasner (1968-69), chapter X).Of course, throughout our discussion, we suppose that our language is interpreted in suitable structures.Normally, we take κ = k(D).
Theorem 1.1 Under the above conditions, r is definable in the wide sense on the basis of Γ by means of the constants b λ if and only if, in every model of Γ, the object denoted by r is definable in the wide sense in terms of the sequence b λ of elements of the model.

Proof
Implication from left to right: If r is definable in the wide sense on the basis of Γ by means of b λ , then evidently the object denoted by r, in any model of Γ, is definable in the wide sense in terms of the objects b λ in such a model.
Implication from right to left: If r is definable in the wide sense in every model e of Γ in terms of b λ , then there is in e one and only one object that is denoted by r.This means that we have where Γ is the conjunction of the formulas of Γ in which r is replaced by the new variable x.Therefore, Int. Fil., Campinas, v. 34, n. 1, p. 151-183, jan.-jun. 2011.and, as a result, So, Hence, the formula defines r in the wide sense on the basis of Γ by means of the constants b λ .
Corollary Under the hypotheses of the theorem, r is definable on the basis of Γ by means of b λ iff in any model e of Γ the object r is invariant under the Galois group of the restriction e of e to the language without the constant denoting r.
Proof Consequence of the theorem 6.5 of da Costa, Rodrigues (2007). . . .Theorem 1.2Under the preceding conditions, let u and v be two new constants added to our language.Then, in order for r to be definable in the wide sense on the basis of Γ by means of b λ , it is necessary and sufficient that Proof The condition is sufficient: the expression above implies that any model e of Γ is such that e ∃!x ∃x 0 ∃x 1 ... ∃x n−1 Γ(x; b λ , x 0 , x 1 , . . ., x n−1 ), which entails that r denotes in e an object that is definable in the wide sense in this model in terms of b λ .Hence, by Theorem 1, the formula clearly defines r in the wide sense on the basis of Γ by means of b λ .
The condition is necessary: the proof is immediate.
Corollary Under the hypotheses of the theorem, r is definable on the basis of Γ by means of b λ iff in any model e of Γ, the formula defines in the wide sense, in e, in terms of b λ , an element that remains invariant under the group of automorphisms of e that preserve the b λ .
Proof Similar to the proof of the corollary to the previous theorem. . . .
The preceding discussion extends some theorems obtained by Tarski in Tarski (1983), chapter X; the other theorems of that chapter can also be extended in the same vein, including Tarski's higher-order version of Padoa's method.
Given structures e 1 = D 1 , r ι and e 2 = D 2 , s ι , we call bijection between e 1 and e 2 any bijection of D 1 on D 2 , canonically extended to a bijection of ε(D 1 ) on ε(D 2 ).
Let ϕ be a bijection between two models e 1 and e 2 of the set Γ of sentences.We say that ϕ is a u-isomorphism between e 1 and e 2 if ϕ is an isomorphism between the restrictions of e 1 and e 2 to the language having u as its only constant.
We consider now a set of sentences Γ(v, b µ , c ν ) composed by formulas having as their only constants v and the elements of range(b µ ) ∪ range(c ν ), all of them supposed to be distinct and c ν finite.The conjunction of the formulas of Γ(v, b µ , c ν ) will be designated by Γ by the block of existential quantifiers ∃x ν .Instead of Γ(v, b µ , c ν ) we will write simply Γ.
The proposition below is a generalization of Shoenfield's version of the theorem of Beth (Shoenfield (1967), p. 81-82).
Theorem 1.3 Let Γ be a set of formulas as described above.We have: v is definable in the wide sense on the basis of Γ by means of the constants b µ iff for every pair of models of Γ e 1 = D 1 , r ι and e 2 = D 2 , s ι , and every bijection ϕ between e 1 and e 2 which is a u-isomorphism for all u in range(b µ ), ϕ is also a v-isomorphism.
Proof If v is definable in the wide sense on the basis of Γ by means of b µ , then clearly any two models e 1 and e 2 of Γ satisfy the condition on u-isomorphisms and v-isomorphisms of the theorem.
On the other hand, if the condition is verified, then for any model e of ∃x ν Γ(v, b µ , x ν ), the automorphisms of e that preserve u, for any u in range (b µ ), also preserve v. So, v is definable in the wide sense in e on the basis of ∃x ν Γ(v, b µ , x ν ) by means of b µ , taking into account Theorem 6.5 of da Costa, Rodrigues (2007) and Theorem 1.1 above.Therefore, v is also definable in the wide sense on the basis of Γ by means of b µ .
Let e be a structure, D its domain, and G its Galois group.Two elements x and y of D are said to be G-equivalent if there is g in G such that y = gx.This relation determines a partition in D, and its equivalence classes are the orbits in e. (Orbits are the irreducible sets of da Costa, Rodrigues (2007).) The languages L n ωω (R), L n ωκ (R) and L n κκ (R), 1 ≤ n < ω, are called languages of order n; they contain variables and constants of order < n and constants of order n, and their semantics are easily constructed.L ω ωω (R), L ω ωκ (R) and L ω κκ (R) are called languages of order ω.Obvious logics correspond to all these languages.
is interpreted, then the cardinal k(e, n), associated to the structure e, is defined as follows: where the power-set operator P is applied n times.When D is finite, k(e, n) = ℵ 0 .Usually, we denote k(e, n) by κ.
Examining the proofs of Caulton, Butterfield (2008), one verifies that most results, with convenient adaptations, remain valid for logics of order n, 1 ≤ n < ω, and their corresponding structures.For example, we have: ), iff r is invariant under the automorphisms of the Galois group of e(1 ≤ n < ω).(Generalization of a theorem of Rogers; see Galatos et al. (2007).) 3. Theorem 1.3 is true for structures of order n in L n ωκ (R), in L n ωω (R), and, for c ν infinite, in Two structures e 1 and e 2 for the same language are called equipolent if every sentence of the language which is true in e 1 is also true in e 2 and conversely.
Theorem 1.4 Let e = D, r ι and e = D , r ι be two similar structures in which L ω ωθ (R) is interpreted, where θ is the greatest of the cardinals associated with e and e .Then e and e are equipolent (in relation to L ω ωθ (R)) iff there exists a bijection between the set of orbits of e and the set of orbits of e , such that the corresponding orbits are determined by the same irreducible formula.
Proof An open formula of the language L ω ωθ (R), interpreted in a suitable structure, is called irreducible if it defines in the wide sense an orbit of the structure (see Caulton, Butterfield (2008)).
If e and e are structures in the conditions of the theorem, then it is easy to show that, in e and e , every open formula is equivalent to the disjunction of the same family of irreducible formulas.So, reasoning by induction on the number of logical operators appearing in a given open formula, it follows that every open formula that is satisfiable in e is also satisfiable in e , and conversely.Hence, any sentence that is true in e (or in e ) is also true in e (or in e, respectively).
Theorem 1.5 Under the conditions of Theorem 1.4, e and e are isomorphic iff their corresponding orbits have the same cardinal.
Proof It suffices to note that any atomic formula is, in both structures, the disjunction of the same family of irreducible formulas.Therefore, if ϕ is the bijection between the domains of e and e , expanding the bijections to their orbits, a 1 , a 2 , ..., a l satisfies a first-order relation of e of degree l iff ϕ(a 1 ), ϕ(a 2 ), ..., ϕ(a l ) also satisfies the corresponding relation of e .We treat similarly the case of higher-order relations.
Theorems 1.4 and 1.5 are true for structures of order n and language We also have: Theorem 1.6 Given the structure e of order n, 1 ≤ n ≤ ω, there exists a finite number of first-order relations that, added to e, transform e in a rigid structure.
Part of the previous discussion, such as the results connected with Theorem 1.1 and its corollary, can be adapted to the case of species of structures (in Bourbaki's sense; see Bourbaki (1968)), theories or axiomatic systems.From this perspective, for example, Theorem 1.1 relates species of structures to their models.
Consider the following two propositions: (I) If X is irreducible, then X is an orbit.

and
(II) The element r of ε(D) is invariant under the Galois group of e = D, r ι iff r is definable in the wide sense (or expressible).(Silva's theorem.) In da Costa, Rodrigues (2007), proposition (I) was proved with the help of (II).However, we observe that (I) can be established without the use of (II), and that Silva's theorem is a direct consequence of (I).
We also have: Proof Immediate.
Note that the previous theorem remains valid for whatever type.
To finish this section, we present an interesting, well-know fact concerning Galois groups (of structures).Let e = D, r ι be a firstorder structure in which L 1 ωω (r ι ) is interpreted.An n-type, according to usual model theory (see Shoenfield (1967), chapter V), determines an orbit on D n , 1 ≤ n < ω.We say that e, in the language L 1 ωω (r ι ), is countably categorical or ω-categorical, if any first-order structure with countably infinite domain and which satisfies the same first-order sentences as e is isomorphic to e. Then the Ryll-Nardzewski theorem (see Shoenfield (1967, chapter V)) can be reformulated as follows: Theorem 1.9 The first-order structure e = D, r ι , with D countably infinite, is ω-categorical iff its Galois group determines on D n a finite number of orbits, 1 ≤ n < ω.
Krasner summarizes the principal problems of classical Galois theory as follows: Let k be a field and K an algebraic extension of k.We shall suppose that K/k is of finite degree, although this hypothesis is not completely necessary for all results.We shall also suppose that K/k is normal; i.e. every irreducible polynomial with coefficients in k, which has one root in K, can be completely decomposed in K in linear factors, so 'has all its roots in K' [...] The automorphisms of K/k form a group with respect to the usual composition of mappings; this group is called the Galois group of the extension K/k and is denoted by g K/k .
If A is a subset of K, we consider the part of g K/k which preserves every element of A (i.e.consists of the σ ∈ g K/k which satisfy σa = a for all a ∈ A).This part of g K/k is a subgroup of g K/k , denoted by g The main problems of classical Galois theory can be formulated as follows: 1. Given A ⊆ K, what is the set A of all elements b ∈ K which are preserved by the elements of g Classical Galois theory gives the following answers to these problems: 2. Every subgroup of g K/k is Galoisian.Manuscrito -Rev. Int. Fil., Campinas, v. 34, n. 1, p. 151-183, jan.-jun. 2011.
From the answer to the first problem we see that, when A ranges over all subsets of K, A ranges over the intermediate fields between k and K which are perfect in K (i.e.fields L with k ⊆ L ⊆ K and such that if the p-th root of an element of L is in K, it is also in L).
The answer (1) is valid in two more general cases: the case when the extension K/k is algebraic and normal (without the hypothesis "of finite degree") and the case when the extension is algebraically closed without being algebraic.For the answer (2), the hypothesis "of finite degree" is needed.(Krasner (1973), p. 15-17.)Krasner introduces a new kind of first-order infinitary structure and studies the corresponding two central problems which are generalizations of those of classical Galois theory.His theory is outlined in what follows, and some of its applications are discussed.
Let us consider two sets E and X, the first is called the support set and the second is called the auxiliary set of arguments or of variables.An X-point of E is any mapping P : X → E.An X-relation on E is any set r ⊂ E X .So, an X-relation on E is a set of X-points of E. We suppose that X and E are not empty and that X ∩ E = ∅; in addition, the cardinal of X is strictly greater than, or equal to, the cardinal of E.
Given X such that X ∩ X = ∅, we identify the X-relation (on E) r to the X ∪ X -relation (on E) r × E X , prolonging the identification by symmetry and transitivity.
The following operations are central in Krasner's theory (X-relation on E will be abbreviated simply as X-relation): Intersection of any sequence R of X-relations, operation that generates another X-relation, and is denoted by ∩R.
The complement of an X-relation r: r = E X − r. r is also denoted by ∼ r.
(Clearly, the union of a sequence R of X-relations is definable in terms of ∩ and ∼.) Cylindrification: If X ⊂ X, then a cylindrification associates to any X-relation r another X-relation r X = (r/X ) × E X−X , where r/X means the restriction of r to X .In other words, an X-point P belongs to r X iff there exists an X-point P in r such that P coincides with P on X .
r is said to be identical on X − X , or r is said to be not dependent of X − X , iff r = r X .r X is also denoted by ∃X r.
The fourth fundamental operation is mutation or change of variables, which is of two kinds: Simple mutations: Let X and X be two subsets of X having the same cardinal, and let f be a bijection of X on X .If r is a relation identical on X − X , then the mutation of r by f is the X-relation r (f ) satisfying the condition that an X-point P belongs to r (f ) iff there exists P in r such that P (f (x)) = P (x) for every x in X , r (f )  being identical outside of X (or on X − X ).

Generalized mutations:
We suppose that X and X are two subsets of X and that C and C are equivalences on X and X respectively, and that the classes of equivalence X /C and X /C possess the same cardinal.We denote by f a bijection between X /C and X /C .On the other hand, Y being a subset of X and C an equivalence on Y , an X-relation s is said to be compatible with C if s is identical on X − Y and if, for any x ∈ Y and any P ∈ s, P(x) only depends of the class of equivalence of Y /C to which x belongs.Then, returning to the X-relation r, if r is compatible with C on X and identical out of X , the generalized mutation of r by f , noted r (f ) , is the Xrelation constituted by the points P such that there exists P ∈ r verifying the condition that for all M ∈ X /C , P[f (M )] = P [M ], where P[f (M )] is the value assumed by P in any element of f (M ) and P [M ] is the value that P assumes in any element of M .
Mutations are partial operations, but it is not difficult to transform them into total operations.
There are infinitely many operations of intersection (and union), each of them characterized by the ordinal of the family of X-relations to which they are applied, that is, by its arity.Normally the operations of intersection (and union) are here disposed in a sequence whose domains are ordinals strictly less than a fixed cardinal; in the case of Krasner structures, structures to be introduced below, the cardinal is the cardinal associated with the structure.The ordinals of the sequence are the arities of the operations of intersection (or union).This sequence of intersections will be denoted by (and of unions by ), which is clearly an abuse of language.Given X and E, cylindrifications and mutations can also be disposed in sequences, sequences which will be denoted by ∃ and V , respectively.So, the concatenation of the sequences ∼ (an unary sequence), , ∃ and V may be written ∼, , ∃, V where the comma means concatenation.
Let r λ be a sequence of X-relations on E, D = X∪E, with X E = ∅ and card(X) ≥ card(E), x µ a sequence of all elements of X without repetitions, and the concatenation of such sequences.We now define a Krasner structure (or K-structure) as a set-theoretic construct of the following form: Clearly, K is a structure in the sense of section 1 of da Costa, Rodrigues (2007); hence, the generalized Galois theory of that paper can be applied to K. In particular, since x µ is a sequence of primitive relations (0-adic relations) of K, any automorphism of K must leave invariant the members of X.It is also clear that the automorphisms of K = D, x µ , r λ are the same as those of K.Moreover, taking into account that the fundamental operations are invariant under the Galois group of K, they are logically definable (see da Costa, Rodrigues (2007)).Therefore, K and K are equivalent structures.
As in da Costa, Rodrigues (2007), all sequences concerning a fixed K-structure have domains which are ordinals strictly less than the cardinal associated with the structure.
An X-relation r is said to be K-definable in the Krasner structure K if and only if: 1. r is one of the X-relations r λ ; or 2. r can be obtained from a K-definable X-relation by one of the operations ∼, ∃ or V ; or 3. r is the intersection of a sequence of K-definable X-relations; and 4. r is K-definable only in the cases 1-3.

Examples
Any r λ is K-definable in the structure K; ∅ and I = E X are always K-definable.
A set S of X-relations is called K-closed iff any X-relation Kdefinable in a structure like K above, where r λ is a sequence of all elements of S, belongs to S. The Krasner closure or K-closure of S, denoted by S (K) , is the intersection of all K-closed sets containing S.
Theorem 2.1 Let S ∪ {r} be a set of X-relations.Then r ∈ S (K)  implies that r is definable in the wide sense (or expressible) in the structure where r λ is a sequence of all members of S.
Proof The operations ∼, ∃, V and are invariant under the Galois group of K , as is easy to verify.Therefore, by Theorem 6.5 of da Costa, Rodrigues (2007), they are definable in the wide sense in K .This fact entails that r is expressible in K .
Two K-structures K 1 = E ∪ X, x µ , r λ and K 2 = E ∪ X, x µ , r η are said to be K-equivalent if the K-closures of the X-relations of K 1 and of the X-relations of K 2 are equal.

Theorem 2.2 [Krasner] Two K-structures are K-equivalent iff they have the same Galois group.
Proof The result is established by employing the notion of orbit of the X-points of both structures, as well as the properties of the fundamental operations (for details, see Krasner (1950) and Krasner (1973)).
Corollary 1.An X-relation r is K-definable in a K-structure iff r is invariant under the action of the automorphisms of the Galois group of the K-structure.

Corollary 2. The converse of Theorem 2.1 is true.
Theorem 2.3 [Krasner] Given any group of permutations G of set E, there exists a K-structure with support E and whose Galois group is G.
We introduce as usual the concept of an endomorphism of a Kstructure.The semi-group of the endomorphisms of a K-structure is called the Galois semi-group of the structure.Krasner elaborated a theory of the endomorphisms of K-structures similar to his extension of Galois theory (that concerns automorphisms).Propositions similar to the theorems of this section can be established (see Krasner (1968-69) and Krasner (1973)).As noted in da Costa, Rodrigues (2007), Silva also sketches the development of a theory of endomorphisms, correlated with his formulation of the abstract Galois theory.In a wide sense, the generalized Galois theory includes both automorphisms and endomorphisms.
Krasner studied some special cases of K-structures, named by him eliminative structures.By means of theses structures it is possible to establish the basic theorems of classical Galois theory, as well as the central theorems of other theories, for instance, Picard's version of Galois theory for differential equations.
It should be recalled that one of the main results of classical Galois theory is the proposition asserting that there are certain connections between subfields of algebraic extensions of a field and the subgroups of the associated Galois group.In other words, classical Galois theory is a theory of the duality between groups of permutations and certain of their invariants; these invariants are finitary relations defined by means of the operations of fields.Krasner generalized this situation by considering infinitary relations and the corresponding abstract structures.
When the infinitary relations depend only on a finite number of coordinates, we obtain the ordinary case of finitary relations and operations.Thus, classical Galois theory can be subsumed under the abstract or generalized Galois theory.
The similarity between abstract Galois theory and the Erlangen Program is obvious; in fact, the latter can be viewed as a part of the former.(We will return to this point below.)Moreover, generalized Galois theory presents strong connections with infinitary languages and cylindric algebras.(For various applications of Krasner's theory, see, for instance, Krasner (1968Krasner ( -69, 1973Krasner ( and 1976).)

SILVA'S OPERATIONAL GALOIS THEORY
Silva showed that his general theory (Sebastião e Silva (1985, 1945 and 1985)) can be adapted to obtain classical Galois theory.Let us see how this is done.
In this section, we will be concerned with structures of the following form: where o ι , ι ∈ λ, are first-order operations (or operators), and λ is a finite ordinal.The operations o ι associate elements of D with n-tuples of elements of D; n, 0 ≤ n < ω, is the rank of the operator.
) is a first-order language whose only nonlogical primitive symbols are o ι .Terms and formulas are defined as usual, starting with variables and the operators o ι .L is supposed to be interpreted in a structure of the above form.
If V and U are subsets of D, we say that v ∈ V is operationally definable in terms of U if v = a is true, where the term a is composed by the operators o ι and elements of U .Similarly, we define the concept of an operator operationally definable in terms of a set of operators and a set of elements of D. Similarly to da Costa, Rodrigues ( 2007), we introduce the notions of operationally closed set and operational base of a set V with reference to another set W , such that W ⊂ V ⊂ We will refer to the base of V with reference to W by 'base of V /W '.
For instance, in e = D, o ι , D is always operationally closed, and if all o ι have rank > 0, the empty set is also operationally closed.The operationally closed sets of a group are its subgroups, and the operationally closed subsets of a field are its subfields.
In the case of fields, it is possible to define, operationally, sum and product in terms of difference and quotient, but not conversely.A subfield of a field may be operationally closed though not algebraically closed.The operators or functions operationally definable in the elements of a field K are the rational functions whose coeficients are in K, and the relations operationally definable in terms of K are the algebraic equations with coeficients in K.
The definition of irreducible operational relation is formulated as in da Costa, Rodrigues (2007).However, if ρ is an operational relation which is satisfied by an n-tuple d, we cannot guarantee that there exists an irreducible operational relation ρ such that d ∈ ρ and ρ ⊂ ρ.
The concepts of operationally strong and operationally weak isomorphisms can be introduced in analogy with da Costa, Rodrigues (2007).However, these concepts coincide, and we are allowed simply to talk about isomorphisms.
The following result holds: V is an operationally closed set, with W ⊂ V , where V is a normal extension of W iff there exists a base of V /W , a λ , and an irreducible operationally definable relation ρ in terms Manuscrito -Rev. Int. Fil., Campinas, v. 34, n. 1, p. 151-183, jan.-jun. 2011. of W such that ρ(a λ ), and any solution of ρ is composed by elements of V .
Various results of abstract Galois theory, as developed in da Costa, Rodrigues (2007), remain valid in the present situation, with convenient adaptations.This is the case, for instance, of the following three propositions, whose proofs are similar to the proofs of the analogous theorems in da Costa, Rodrigues (2007): Theorem 3.1 Let e = D, o ι be the structure considered above; W and V are two sets such that W ⊂ V ⊂ D, and V is operationally closed; let a λ be a base of V /W and ρ an operationally irreducible relation operationally definable in terms of W , verified by a λ .Under these hypotheses, any isomorphism , where b λ is a solution of ρ, determined by θ, and conversely.Theorem 3.2 Under the conditions of the previous theorem, if V is a normal extension of W and the relation is operationally definable in terms of W , then the isomorphisms with domain V , that leave the elements of W invariant, transform V on V and are automorphisms of V leaving the members of W invariant.
The relation (1) above appears in the proof of Theorem 6.3 of da Costa, Rodrigues (2007).
Theorem 3.3 In the structure e = D, o ι , let V and d be, respectively, an operationally closed subset of D and an element of D that remains invariant under the group of all automorphisms of e that leave the elements of V invariant.Under these conditions, if a certain relation of the same kind as ( 1) is operationally definable, then d ∈ V .
When the theory just outlined is restricted to finite separable extensions of fields, the theorem of the primitive element shows that the bases can be constituted by one element, and Tschirnhaus transformations are at our disposal.Relations like (1) are operationally definable, and we are able to prove propositions such as the theorems 8.4 and 8.6 of da Costa, Rodrigues (2007).In this way, by employing properties of fields and their separable extensions, we arrive at classical Galois theory, but in a way very different from that followed by Krasner (outlined in the previous section).(For further details on these issues, see Sebastião e Silva (1985, 1945 and 1985).)

UNIVERSAL THEORY OF STRUCTURES
Abstract or generalized Galois theory, which can be viewed as expanding universal algebra, is also part of a universal theory of structures that extends further universal algebra to the class of all structures.Bourbaki was the first author to develop, at least syntactically, such a theory (see Bourbaki (1968), chapter IV).We close this paper by making some remarks on the universal theory of structures.To begin with, we note that the definitions of da Costa, Rodrigues (2007) and of the present paper can be simplified if the description symbol ι is added to our languages as a primitive symbol (with appropriate postulates) or as a defined symbol.For example, it is clear that a relation r is definable in the wide sense in the structures e, interpreted in the language L, iff there exists a closed term τ of L such that r is denoted by τ .
The closed term τ of L is intrinsic (in e) iff it is invariant under the Galois group of e, i.e., its denotation remains the same under the action of the Galois group.Therefore, a relation r of the scale of e is definable in the wide sense in e iff there exists an intrinsic closed terms τ such that τ denotes r.
The structures of Bourbaki (see Bourbaki (1968)) and those of extant mathematics have in general various basic sets; for instance, the field of scalars and the set of vectors in vector spaces.However, it is always possible to reduce this kind of structures to structures with only one basic set, provided some extra predicates (unary relations) are introduced, one for each basic set, with new axioms governing these predicates.The same device can also be applied to species of structures, that is, to axiomatic theories or systems.
Usually, there are two sorts of basic sets: the auxiliary and the principal.When automorphisms of structures are considered, it is supposed that the elements of the auxiliary basic sets remain fixed.This is the case of vector spaces, in which the scalars are invariant under the Galois group of these structures, and the case of real Lie groups whose elements of the Galois group keep the real numbers fixed.In this situation, the Galois group of the structure is restricted by certain conditions, but the central results of the theory of structures remain valid.
The construction of structures and of species of structures employs several procedures, such as: axiomatization, deduction, combination, derivation and the use of universal mappings (see Bourbaki (1968), chapter 4).Axiomatization constitutes the general method to introduce new species of structures.The set-theoretic framework of the structures included in the new species is formulated, and the specific axioms are listed.The axioms, expressed in the language of set theory, must be transportable: they have to be invariant by isomorphism.Sometimes, by extension, there are no specific axioms, and the species has only a set-theoretic counterpart.
The standard concepts of Bourbaki's theory of structures (Bourbaki (1968), chapter 4) are easily treated in our universal theory of structures.For instance, in a topological group, the group law is deducible by means of an intrinsic term, which defines the law.We can also deduce the underlying topology.
We combine two or more species of structures to obtain new ones, such as topological groups, differentiable manifolds and fibre bundles.By means of Cartesian product and passage to the quotient, one obtains the so-called derived structures, for instance, initial and final structures.Projective and inductive limits are other means to build structures (see Bourbaki (1968)).As noted in the introduction above, we use an extended set theory (ZFC) with universes.Thus, homological-algebraic, K-theoretic and C*-algebraic constructs can be formulated as well.
Furthermore, the usual model theory is part of the universal theory of structures.Both from the historical and the technical points of view, the works of logicians such as Tarski, Robinson, Gödel, Skolem, and Fräissé, among others, are of fundamental relevance.
All of the developments just described and the literature on Klein's Erlangen Program, including its extensions via action of groups and Cartan's ideas for the systematization of Riemannian geometry, show how relevant the universal structure theory is.
In fact, one of the motivations for the development of Klein's Erlangen Program emerged from the need for systematizing the multiplicity of geometries that, by the end of the 19th century, had been developed.Klein realized that the relations examined by distinct geometries were the invariants of different transformation groups.On his view, there is a general format for the study of problems in geometry, which is connected with the identification of the properties that remain invariant under various transformation groups.He notes: Let there be given a manifold and a group of transformations in it.[Klein's goal is] to investigate the configurations belonging to the manifold with respect to such properties as remain invariant under the transformations of the group.(Klein (1983), p. 67) As Torretti (1999, p. 155, footnote 10) points out, by 'manifold' Klein probably means something somewhat wider than, but still akin to, the sense of 'manifold' formulated via sets (or n-tuples of sets) of real, or complex, numbers with the standard topologies inherited from the real, or complex, number fields.According to Klein, the study of the properties that remain invariant under various group transformations is the universal problem which spans not only ordinary geometry but also, in particular, the new geometric methods to be mentioned later and the different treatments of manifolds with arbitrarily many dimensions.(Klein (1983), p. 67) This "universal problem" becomes particularly pressing given the development of different geometries, such as parabolic, hyperbolic and elliptic geometries.The plurality of geometrical systems immediately raises the issue of which of these systems is the "true geometry".Klein's strategy was to develop a mathematical framework in terms of which this issue could be ultimately dissolved.On his view, each geometry has equal right or equal justification (Klein (1983), p. 67).After all, by studying the properties that remain invariant under different group transformations, it is possible to specify systematically the various geometries.As a pure system, each geometry is perfectly acceptable.The issue of its truth does not emerge in this context.(For further discussion of Klein's Erlangen Program and its philosophical significance, see Torretti (1984 and1999).) We can say that the truth of a geometry only surfaces in the context of the application of that geometry to the physical world (see da Costa (1997)).In this context, suitable interpretations of the geometrical terms need to be offered so that the geometrical system can be connected to appropriate aspects of the world.It is only then that the issue of the (empirical) truth of a geometrical system can be formulated.
It is worth noting that analogous points can be made about the universal theory of structures.Similarly to Klein's program, a universal theory of structures (of which abstract Galois theory is part) emphasizes the significance of identifying invariances of group transformations in the characterization of various kinds of structures.Just as Klein's program, a universal theory of structures also provides an overall framework to study mathematical structures systematically.In a clear sense, when the structures in question are geometrical in nature, Klein's program becomes a particular case of abstract Galois theory.Interestingly, abstract Galois theory itself offers a generalization of classical Galois theory, making room for different formulations of the latter.The move toward more abstract formulations, whether of geometrical systems or of mathematical structures, is a significant feature of mathematics from the late 19th century on.The elegance and insight of the resulting approaches to structures is quite telling.
Furthermore, similarly to what happens in geometry, we also have in the case of a universal theory of structures a clear form of pluralism: a pluralism about mathematical structures.As noted above, there is a plurality of structures throughout mathematics, and a universal theory of structure provides a framework to study such structures systematically.And similarly to what happens with Klein's program, the issue of which of these mathematical structures are the "true ones" does not emerge.From the point of view of pure mathematics, every mathematical structure is perfectly acceptable.This does not mean, of course, that each such structure is equally significant or mathematically relevant.Some structures, such as, e.g., group structures, due to their impressive malleability and applicability, have a relevance that transcends the immediate context in which they were originally formulated.And a universal theory of structures provides a conceptual setting to study such structures systematically.
In our view, all of current classical mathematics can be developed within a universal theory of structures.This is, of course, an old claim, according to which all of classical mathematics is reducible to set theory; a claim that was precisely formulated by Bourbaki.This reduction does not mean that every future result of classical mathematics can be derived from a set theory such as ZFC, but only that the intuitive structures that classical mathematicians currently use are reducible to a universal theory of structures.In other words, current classical mathematics can be unified and systematized by such a universal theory.Note, however, that this does not mean that we have adopted a platonist ontology, given that it is possible to interpret ZFC in a purely symbolic and formal way (see da Costa et al. (2005)).Nor does it mean that classical mathematics can be entirely derived from ZFC, since this would violate Gödel's theorem.We are dealing with a conceptual unification and systematization here.
Another significant aspect of a universal theory of structures is the emphasis it gives to the concept of definability as a central component in the study of mathematical structures.In philosophical discussions about indiscernibility and individuality of quantum particles, for example, in the context of the foundations of physics, it is sometimes assumed that such concepts stand for metaphysical features of the objects under consideration.On this metaphysical conception, the indiscernibility and individuality of a particle is thought of as an objective, language-independent property of that object.As a result, whether a particle is discernible, whether it is an individual or not, does not depend on the language or the logic that is used to describe the particle.
However, it is unclear that the metaphysical conception of indiscernibility and individuality is stable.After all, in order to express the view, in order to formulate it linguistically, we clearly need to use a language and a logic.And as it becomes clear with a universal theory of structures (of which, as we noted, abstract Galois theory is part), depending on the resources of the language and the logic we use, the properties of the concepts that can be defined, including those of indiscernibility and individuality, will change.It is then unclear whether it is possible to formulate explicitly the metaphysical conception of an individual.According to a universal theory of structures, since definability is a property that depends on the language and the logic we use, the definability of concepts such as indiscernibility and individuality will also be language-and logic-dependent.Rather than absolute concepts (as the metaphysical conception would have it), indiscernibility and individuality are then relative to the logic and language in question.A significant philosophical re-conceptualization of the issues emerges.
A universal theory of structures thus has applications not only in physics (and in science, more generally), but in particular in the foundations of quantum mechanics (for a discussion of indiscernibility of quantum particles, see Caulton, Butterfield (2008)).(In future papers, we intend to study the concept of structure from the categorial point of view, to develop the universal theory of structures and to present some of its applications to physics.)

Theorem 1. 7
The element r of ε(D) is definable in the wide sense iff {r} is an orbit.Proof Immediate.Theorem 1.8 Consider the structure e = D, r ι .Let I be the Galois group of e, and let ∆ α , α ∈ A, be the family of the restrictions of I to the orbits of D. It follows that, in e, I = α∈A ∆α.
An operational relation is a relation characterized by a formula of the form a = b, where a and b are terms of L. If such a formula has n free variables, then the relation is of rank or of degree n, 0 ≤ n < ω.