EL TEOREMA DE CANTOR-BERNSTEIN Y LA COMPARABILIDAD DE LOS CONJUNTOS

J. CLIMENT VIDAL Abstract. Una vez denidas las nociones necesarias de la teor de conjuntos a ordenados, demostramos el teorema de punto jo de Tarski para los ret culos completos, a partir del cual obtenemos el teorema de Cantor-Bernstein. Por ultimo, usando el lema de Zorn-Kuratowski, demostramos el teorema de com parabilidad.

Contents 1. Conjuntos ordenados y ret culos completos. 2. El teorema de Cantor-Bernstein. 3. El teorema de comparabilidad. References 1 6 8 9

1. Conjuntos ordenados y ret culos completos. En esta seccin presentamos aquellas nociones de la teor de conjuntos ordenao a dos que son imprescindibles para demostrar el teorema de Cantor-Bernstein. Denition 1. Un orden estricto sobre un conjunto A es una relacin binaria < o sobre A que cumple las siguientes condiciones: (1) x A (x < x) (Irreexividad); (2) x, y, z A ((x < y y < z) x < z) (Transitividad). Un conjunto estrictamente ordenado es un par A = (A, <) en el que A es un conjunto y < un orden estricto sobre A. Denition 2. Un orden sobre un conjunto A es una relacin binaria sobre A o que cumple las siguientes condiciones: (1) x A (x x) (Reexividad); (2) x, y A ((x y y x) x = y) (Antisimetr a); (3) x, y, z A ((x y y z) x z) (Transitividad). Un conjunto ordenado es un par A = (A, ) en el que A es un conjunto y un orden sobre A. Observemos que los conceptos acabados de denir son equivalentes, ya que si < es un orden estricto sobre un conjunto A, entonces < A es un orden sobre A y, rec procamente, si es un orden sobre A, entonces A es un orden estricto sobre A. Si A = (A, ) es un conjunto ordenado y X una parte de A, entonces el par ordenado (X, (X X)), denotado tambin como X = (X, ), es un conjunto e ordenado.
Date: February 24, 2008. 1991 Mathematics Subject Classication. Primary: ; Secondary: .
1

CLIMENT

Denition 3. Un orden lineal sobre un conjunto A es una relacin binaria < sobre o A que cumple las siguientes condiciones: (1) x A (x < x) (Irreexividad); (2) x, y A (x = y (x < y y < x)) (Disyuntividad); (3) x, y, z A ((x < y y < z) x < z) (Transitividad) Un conjunto linealmente ordenado es un par A = (A, <) en el que A es un conjunto y < un orden lineal sobre A. Un conjunto linealmente ordenado se puede denir alternativa, pero equivalentemente, como un par (A, ) en el que A es un conjunto y una relacin binaria o sobre A que cumple las siguientes condiciones: (1) x A (x x) (Reexividad); (2) x, y A ((x y y x) x = y) (Antisimetr a); (3) x, y, z A ((x y y z) x z) (Transitividad); (4) x, y A (x y y x) (Disyuntividad). Debido a que en la demostracin del teorema de comparabilidad de los conjuno tos, hemos de hacer uso del axioma de eleccin, bajo la forma del lema de Zorno Kuratowski, y en este ultimo se mencionan las cadenas, o partes de un conjunto ordenado que estn linealmente ordenadas, los supremos y los maximales, denimos a a continuacin tales conceptos. o Denition 4. Sea A = (A, ) un conjunto ordenado. Un elemento a de A es el mximo de (A, ) precisamente si es posterior a todos los elementos de A, i.e., si a para cada x A, x a. El m nimo se dene dualmente. Un elemento a de A es maximal en (A, ) precisamente si, para cada x A, si a x, entonces a = x. El concepto de minimal se dene dualmente. Si X es una parte de A, una cota superior de X en (A, ) es un a A tal que, para cada x X, x a, al conjunto de las cotas superiores de X en (A, ) lo denotamos por Ub(A,) (X). El concepto de cota inferior se dene dualmente. El supremo de una parte X de A es el m nimo del conjunto ordenado (Ub(A,) (X), ), siendo la restriccin del orden sobre A o a la parte Ub(A,) (X). El concepto de nmo se dene dualmente. Por ultimo, una cadena del conjunto ordenado (A, ) es una parte C de A tal que (C, ) es un conjunto linealmente ordenado, siendo la restriccin del orden sobre A a la parte o C. Tambin se entiende por cadena de un conjunto ordenado (A, ) cualquier familia e (x ) en A tal que el subconjunto Im((x ) ) = { a A | (a = x ) } de A sea una cadena del conjunto ordenado (A, ). De modo que la familia (x ) en A es una cadena si y slo si, para cada , , x x o x x . o Si a es el mximo del conjunto ordenado (A, ), entonces a es el unico elemento a maximal de (A, ). Ahora bien, un conjunto ordenado (A, ) puede tener un unico maximal, pero no tener ningn mximo. Lo mismo se puede decir del m u a nimo y de los minimales. Observemos que un a A es maximal en (A, ) si y slo si no existe un x A o tal que a < x, i.e., tal que a x pero a = x. Lema de Zorn-Kuratowski. Sea (A, ) un conjunto ordenado. Si A = y toda cadena no vac de (A, ) tiene un supremo en (A, ), entonces (A, ) tiene un a maximal. Denimos a continuacin las aplicaciones istonas y los isomorsmos entre los o o conjuntos ordenados. Recordemos que una vez denidos los objetos de inters, en e este caso los conjuntos ordenados, se deben denir los morsmos entre tales objetos, ya que lo que sea una entidad matemtica viene dado por su interaccin con las a o dems entidades matemticas. a a

CANTOR-BERNSTEIN Y COMPARABILIDAD

Denition 5. Sean A y B dos conjuntos ordenados. Una aplicacin istona o o de A en B es un triplo ordenado (A, , B), abreviado como y denotado por / B, en el que es una aplicacin de A en B tal que : A o x, y A ( x y (x) (y) ). Un isomorsmo de A en B es un triplo ordenado (A, , B), abreviado como y / B, en el que es una aplicacin biyectiva de A en B tal denotado por : A o que x, y A ( x y (x) (y) ). Denition 6. Sea A un conjunto ordenado. Decimos que A es un conjunto reticulado completo, o un ret culo completo, si tiene mximo, m a nimo y para cada subconjunto no vac X de A existe tanto el supremo de X, denotado por X, como o el nmo de X, denotado por X. Proposition 1. Sea A un conjunto ordenado no vac Entonces son equivalentes: o. (1) A es un ret culo completo. (2) A tiene un mximo y todo subconjunto no vac de A tiene un a o nmo en A. (3) A tiene un m nimo y todo subconjunto no vac de A tiene un supremo en o A. Proof. Nos limitamos a demostrar la equivalencia entre 1 y 2, ya que la demostracin o de la equivalencia entre 1 y 3 es idntica. Es evidente que si se cumple 1, entonces e se cumple 2. Rec procamente, supongamos 2. Entonces dado un subconjunto no vac X de A, el supremo de X en A es: o X= { a A | x X (x a) }. Adems, el m a nimo es el nmo de A. Si A es un conjunto, entonces Sub(A) = (Sub(A), ) es un ret culo completo. Estudiamos a continuacin los conceptos de seccin inicial y nal de un conjunto o o dotado de una relacin binaria. Demostraremos que el conjunto de las secciones o iniciales de un tal conjunto, ordenado por la inclusin, es un ret o culo completo. Denition 7. Sea A un conjunto y R una relacin binaria en A. Decimos que un o subconjunto X de A es una R-seccin inicial de A, si junto a un x X contiene al o conjunto R x = { y A | (y, x) R } de todos los R-predecesores de x, i.e., si x X ( R x X ), o, lo que es equivalente, ya que R1 [X] =
xX

R x, si

R1 [X] X. Denotamos por SecR (A) el conjunto de todas las R-secciones iniciales de A. Proposition 2. El conjunto SecR (A), de todas las R-secciones iniciales de A, es un sistema de clausura completamente aditivo sobre A, i.e., tiene las siguientes propiedades: (1) A SecR (A). (2) X SecR (A) ( X = X SecR (A) ). (3) X SecR (A) ( X SecR (A) ). Proof. Corollary 1. Sea A un conjunto, R una relacin binaria en A y X A. Entonces o hay una m nima R-seccin inicial de A que contiene a X. o

CLIMENT

Proof. Es suciente considerar la interseccin del conjunto o { Y SecR (A) | X Y }. Denition 8. Sea A un conjunto y R una relacin binaria en A. Entonces denoo tamos por CR el operador clausura sobre A, cannicamente asociado al sistema de o clausura completamente aditivo SecR (A), que asigna a cada subconjunto X de A, CR (X), la m nima R-seccin inicial de A que contiene a X, a la que denominamos o el cierre inicial de X relativo a R. En particular, cuando X = {x}, con x A, al cierre inicial de {x} lo denotamos, para abreviar, por CR (x), y lo denominamos tambin, la R-seccin inicial principal determinada por x. e o Sea A un conjunto y R una relacin binaria en A. Demustrese que el operador o e CR , denido como: / Sub(A) Sub(A) CR X { Y SecR (A) | X Y } tiene las siguientes propiedades: (1) Im(CR ) SecR (A). (2) { X Sub(A) | X = CR (X) } = SecR (A). (3) CR es extensivo o inacionario, i.e., para cada X Sub(A), X CR (X). (4) CR es istono, i.e., para cada X, Y Sub(A), si X Y , entonces se cumple o que CR (X) CR (Y ). (5) CR es idempotente, i.e., para cada X Sub(A), CR (X) = C2 (X). R (6) CR es completamente aditivo, i.e., para cada X Sub(A), se cumple que CR ( X ) = XX CR (X). Proposition 3. Sea A un conjunto y R una relacin binaria en A. Entonces, para o cada x A, CR (x) = {x} yR x CR (y). Proof. Sea A un conjunto y R una relacin binaria en A. Demustrese que si R es o e transitiva, entonces, para cada x A, se cumple que CR (x) =R x, siendo R x = { a A | (a, x) R a = x }. Naturalmente, considerando la relacin R1 , obtenemos la nocin dual de la de o o R-seccin inicial de A, que es la de R-seccin nal de A. o o Denition 9. Sea A un conjunto y R una relacin binaria en A. Decimos de un o subconjunto X de A que es una R-seccin nal de A, si junto a un x X contiene o al conjunto R x = { y A | (x, y) R } de todos los R-sucesores de x, i.e., si x X ( R x X ), o, lo que es equivalente, ya que R[X] =
xX

R x, si

R[X] X. Denotamos por SecR1 (A) el conjunto de todas las R-secciones nales de A. Proposition 4. El conjunto SecR1 (A), de todas las R-secciones nales de A, es un sistema de clausura completamente aditivo sobre A, i.e., tiene las siguientes propiedades: (1) A SecR1 (A). (2) X SecR1 (A) ( X = X SecR1 (A) ). (3) X SecR1 (A) ( X SecR1 (A) ).

CANTOR-BERNSTEIN Y COMPARABILIDAD

Proof. Corollary 2. Sea A un conjunto, R una relacin binaria en A y X A. Entonces o hay una m nima R-seccin nal de A que contiene a X. o Proof. Es suciente considerar la interseccin del conjunto o { Y SecR1 (A) | X Y }.

Denition 10. Sea A un conjunto y R una relacin binaria en A. Entonces denoo tamos por CR1 el operador clausura sobre A, cannicamente asociado al sistema o de clausura completamente aditivo, SecR1 (A), que asigna a cada subconjunto X de A, CR1 (X), la m nima R-seccin nal de A que contiene a X, a la que denomio namos el cierre nal de X relativo a R. En particular, cuando X = {x}, con x A, al cierre nal de {x} lo denotamos, para abreviar, por CR1 (x), y lo denominamos tambin, la R-seccin nal principal determinada por x. e o Sea A un conjunto y R una relacin binaria en A. Demustrese que el operador o e CR1 , denido como: CR1 / Sub(A) Sub(A) X { Y SecR1 (A) | X Y }

tiene las siguientes propiedades: Im(CR1 ) SecR1 (A). { X Sub(A) | X = CR1 (X) } = SecR1 (A). CR1 es extensivo o inacionario, i.e., para cada X Sub(A), X CR1 (X). CR1 es istono, i.e., para cada X, Y Sub(A), si X Y , entonces se o cumple que CR1 (X) CR1 (Y ). (5) CR1 es idempotente, i.e., para cada X Sub(A), CR1 (X) = C2 1 (X). R (6) CR1 es completamente aditivo, i.e., para cada X Sub(A), se cumple que CR1 ( X ) = XX CR1 (X). Proposition 5. Sea A un conjunto y R una relacin binaria en A. Entonces, para o cada x A, CR1 (x) = {x} yR x CR1 (y). Proof. Sea A un conjunto y R una relacin binaria en A. Demustrese que si R es o e transitiva, entonces, para cada x A, se cumple que CR1 (x) = R x, siendo R x = { a A | (x, a) R a = x }. Proposition 6. Si A = (A ) es un conjunto ordenado, entonces los conjuntos ordenados Sec (A) y Sec (A) son ret culos completos. Adems, A se puede encajar a en el reticulo completo Sec (A), mediante la aplicacin istona inyectiva que asigna o o a un x A, x. Por ultimo, la formacin del complementario respecto de A o es una involucin, anti-isomorsmo de cuadrado identidad, del ret o culo completo Sec (A) en el ret culo completo Sec (A). Proof. (1) (2) (3) (4)

CLIMENT

2. El teorema de Cantor-Bernstein. Theorem 1 (Tarski). Si A es un ret culo completo, entonces todo endomorsmo de A tiene un punto jo. / A un endomorsmo del ret culo completo A. Queremos Proof. Sea f : A demostrar que f tiene al menos un punto jo, i.e., que existe un a A tal que f (a) = a. Sea Af = { x A | x f (x) }. Se cumple que Af no es vac porque, denotando o, por 0 el m nimo de A, tenemos que 0 f (0), i.e., 0 Af . Sea a = Af el supremo de Af . Vamos a demostrar que f (a) = a, para lo cual es suciente que demostremos que a f (a) y que f (a) a. Se cumple que a f (a). Para demostrarlo, ya que a es el supremo de Af , es suciente que demostremos que f (a) es una cota superior de Af , i.e., que, para cada x Af , x f (a). Sea x Af , entonces x a, porque a es cota superior de Af , luego, por ser f istona, f (x) f (a), pero, ya que x Af , x f (x), por lo o tanto, por transitividad, x f (a), as que a f (a). Se cumple que f (a) a. Para demostrarlo es suciente que demostremos que f (a) Af , i.e., que f (a) f (f (a)). Ahora bien, a f (a), luego, por ser f istona, f (a) f (f (a)), as que f (a) Af , de donde, por ser a cota superior de o Af , f (a) a. Podemos pus armar que a = f (a). e Proposition 7 (Cohn). Sean (A, ) y (B, ) dos conjuntos ordenados tales que (A, ) sea isomorfo a una seccin inicial de (B, ) (con el orden inducido) y (B, ) o sea isomorfo a una seccin nal de (A, ) (con el orden inducido). Entonces hay o / B tal que, para cada x, y A, si x < y, entonces no ocurre una biyeccin f : A o que f (y) f (x). / (B0 , ) un isomorsmo de (A, ) en (B0 , ), siendo B0 Proof. Sea g : (A, ) / (A0 , ) un isomorsmo de (B, ) en una seccin inicial de (B, ), y h : (B, ) o (A0 , ), siendo A0 una seccin nal de (A, ). Denimos una endoaplicacin g,h o o del conjunto Sec (A) de las secciones iniciales del conjunto ordenado (A, ) como: g,h / Sec (A) Sec (A) X A h[ B g[X]]

Se cumple que, para cada seccin inicial X de (A, ), g,h (X) es una seccin inicial o o de (A, ). Para demostrarlo hemos de llevar a cabo las siguientes tareas: (1) Demostrar que g[X], que es parte de B0 Sec (B), es una seccin inicial o de (B, ). o (2) Demostrar que B g[X] es una seccin nal de (B, ). (3) Demostrar que h[ B g[X]], que es parte de A0 Sec (A), es una seccin o nal de (A, ). (4) Demostrar que A h[ B g[X]] es una seccin inicial de (A, ). o Pero es suciente que realizemos las dos primeras. Se cumple que g[X] es una seccin inicial de (B, ), porque dado un x X y o un b B tales que b g(x), ya que g[X] es parte de B0 y B0 seccin inicial de o (B, ), b B0 , luego, por ser g sobreyectiva, hay un a A tal que b = g(a), de modo que g(a) g(x), por lo tanto, por ser g isomorsmo, a x, as que a X, por ser X seccin inicial de (A, ), de donde g(a) = b g[X]. Es evidente que o el complementario de una seccin inicial es una seccin nal, luego B g[X] es una o o seccin nal de (B, ). o Podemos por lo tanto asegurar que g,h est bien denida. Adems, g,h es a a istona. As que, en virtud del teorema de Tarski, el endomorsmo g,h tiene un o

CANTOR-BERNSTEIN Y COMPARABILIDAD

punto jo, i.e., existe una seccin inicial A1 de (A, ) tal que o g,h (A1 ) =
A h[ B g[A1 ]]

= A1 .

Convenimos que B1 = g[A1 ], con lo que A A1 = h[ B B1 ]. Observemos que B1 = g[A1 ] B0 y que es una seccin inicial de (B, ), y que A A1 = h[ B B1 ] A0 y o que es una seccin nal de (A, ) o / B la aplicacin denida como: Sea ahora f : A o / B A g(a), si a A1 ; f a f (a) = 1 h (a), si a A A1 . La aplicacin f es sobreyectiva porque o f [A] = f [A1
A A1 ] A A1 ] B B1 ]]

= g[A1 ] h1 [ = B1 =B
B B1

= g[A1 ] h1 [h[

La aplicacin f es inyectiva porque si x, y A son tales que f (x) = f (y), entonces, o o bien x, y A1 o bien x, y A A1 , pero ni puede ocurrir que x A1 e y A A1 , ni tampoco que y A1 y x A A1 . En efecto, si x A1 e y A A1 , entonces f (x) = g(x) g[A1 ] = B1 pero y
A A1

f (y) = h1 (y),
B B1 ,

= h[

B B1 ],

as que y = h(b), para un b

1

luego

f (y) = h

(y) = h

(h(b)) = b

B B1 ,

lo cual es una contradiccin. Por lo tanto no puede ocurrir que x A1 e y A A1 . o Del mismo modo se demuestra que tampoco puede ocurrir que y A1 y x A A1 . Ahora bien, si x, y A1 , entonces x = y, porque g es inyectiva, y si x, y A A1 , entonces x = y, porque h1 es inyectiva. Demostramos por ultimo que para cada x, y A, si x < y, entonces no ocurre que f (y) f (x), i.e., ni f (y) < f (x) ni f (y) = f (x). Sean x, y A tales que x < y, entonces f (y) = f (x), ya que si f (y) = f (x), tendr amos que x = y, por ser f inyectiva, que entra en contradiccin con que x < y. Falta demostrar que, para o cada x, y A, si x < y, entonces no ocurre que f (y) < f (x). Supongamos que existan x, y A tales que x < y pero que f (y) < f (x). (1) Si y A1 , entonces x A1 y f (x) = g(x) < g(y) = f (y), que entra en contradiccin con que f (y) < f (x). o (2) Si x A A1 , entonces y A A1 , luego de f (y) < f (x) obtenemos que h(f (y)) < h(f (x)), pero, en este caso, f (y) = h1 (y) y f (x) = h1 (x), luego h(h1 (y)) < h(h1 (x)), i.e., y < x, que entra en contradiccin con o que x < y. (3) Por ultimo, si x A1 e y A A1 , entonces f (x) B1 y f (y) B B1 , pero al ser B B1 una seccin nal de (B, ) y cumplirse que f (y) < f (x), o f (x) B B1 , que entra en contradiccin con que f (x) B1 . o El caso en que x
A A1

e y A1 , no puede darse.

A partir de la ultima proposicin obtenemos el teorema de Cantor-Bernstein. o Theorem 2. Si A B y B A, entonces A B. =

CLIMENT

Proof. Se cumple que (A, A ) y (B, B ) son conjuntos ordenados. Adems, las a secciones iniciales y nales de (A, A ) coinciden con los subconjuntos de A y las secciones iniciales y nales de (B, B ) con los subconjuntos de B, luego (A, A ) es isomorfo a una seccin inicial de (B, B ) y (B, B ) lo es a una seccin nal de o o (A, A ). Por lo tanto hay una biyeccin de A en B. o 3. El teorema de comparabilidad. Demostramos en esta seccin que dos conjuntos cualesquiera siempre son como parables mediante la relacin de dominacin. o o Theorem 3. Si A y B son dos conjuntos, entonces A est dominado por B o B a est dominado por A, i.e., existe una aplicacin inyectiva de A en B o existe una a o aplicacin inyectiva de B en A. o Proof. Sobre el conjunto
XA, Y B

Iso(X, Y ), de los isomorsmos entre partes de A

y de B consideremos la relacin binaria que consta de los pares (f, f ), con o f Iso(X, Y ) y f Iso(X , Y ), para algunos subconjuntos X, X de A y algunos subconjuntos Y, Y de B, tales que: (1) X X . (2) Y Y . (3) El diagrama f /Y X inX,X  X f  /Y inY,Y

conmuta. Entonces ( XA, Iso(X, Y ), ) es un conjunto ordenado. Se cumple que no es vac porque Iso(, ) = . Adems, toda cadena no vac del conjunto ordenado o a a o ( XA, Iso(X, Y ), ) tiene un supremo. Sea un conjunto no vac y (f ) una familia en
Y B XA, Y B Y B

Iso(X, Y ) tal que

/ Y . (1) Para cada , f : X (2) Para cada , , f f o f f . Entonces el triplo f = ( X , F, Y ) en el que F es F = { (x, y) (
X )

Y )

| ((x, y) F ) }

o, lo que es equivalente, para cada x X , f (x) = f (x), siendo cualquier ndice en para el que x X , es una aplicacin biyectiva y es el supremo de o (f ) . Se cumple que F es una funcin porque si (x, y), (x, z) F , entonces, por o la denicin de F , existir , tales que (x, y) F y (x, z) F , pero al ser o an (f ) una cadena, tendr amos que f f o f f , luego (x, y), (x, z) F o (x, y), (x, z) F , por lo tanto y = z. As que podemos armar que f es una aplicacin. Dejamos como ejercicio la demostracin de que f es biyectiva. Es o o evidente que f es una cota superior de la familia (f ) . Puesto que se cumplen las hiptesis del Lema de Zorn-Kuratowski, podemos o armar que existe un maximal en el conjunto ordenado ( XA, Iso(X, Y ), ). Sea
Y B

CANTOR-BERNSTEIN Y COMPARABILIDAD

/ Y un maximal. Para h se cumple que X = A o Y = B, ya que si X = A h: X e Y = B, entonces, tomando un a0 A X y un b0 B Y , tendr amos que para la aplicacin ha0 ,b0 denida desde X {a0 } hasta Y {b0 } y con funcin subyacente o o Ha0 ,b0 la denida como Ha0 ,b0 = H { (a0 , b0 ) } se cumplir que h < ha0 ,b0 , luego h no ser maximal, contradiccin. Por lo tanto a a o X = A o Y = B. Si ocurre lo primero, entonces inY,B h es una aplicacin inyectiva o de A en B, mientras que si ocurre lo segundo, inX,A h1 es una aplicacin inyectiva o de B en A. Respecto del teorema de comparabilidad hemos de decir que Hartogs demostr o la equivalencia del mismo con el axioma de eleccin. o Sabemos que la clase relacional de dominacin entre conjuntos, , que no es o un conjunto, tiene, entre otras, las propiedades reexiva y transitiva, luego la conjuncin de ella y de su inversa, que coincide con la clase relacional de isomorf , o a = tiene las propiedades de una eqivalencia, i.e., es reexiva, simtrica y transitiva. e Ello puede inducir a pensar, como lo hicieron Frege y Russell, que una denicin o de lo que sea la cardinalidad de un conjunto, i.e., aquello que, segn Cantor, se obu tiene al hacer abstraccin del orden y naturaleza de los elementos de un conjunto, o pudiera consistir en denirla, para un conjunto A, como: [A] = { B | B A }. = = Ahora bien, para A = , tenemos que [] = { } es un conjunto, sin embargo, = para un conjunto no vac A, si admitimos que [A] es un conjunto, entonces, o = para cada conjunto x, se cumple que x [A] , que en la teor de conjuntos de a = Zermelo-Fraenkel-Skolem no existe. De modo que la denicin de la cardinalidad o de un conjunto ha de ir por otros derroteros, por ejemplo, por la v de considerar a que los cardinales son ordinales iniciales, involucrando de este modo el concepto de buena ordenacin y el esquema axiomtico de reemplazo. o a References
[Cohn81] P. Cohn, Universal algebra, D. Reidel, 1981. Universidad de Valencia, Departamento de Logica y Filosof de la Ciencia, Apt. a 22.109 E-46071 Valencia, Spain E-mail address: Juan.B.Climent@uv.es