- --

. -. - - - -
--------
- - - - -- -
-
MODELOS STANDARD DE SISTEMAS
AXIOMATICOS DE CONJUNTOS. PARTE I
]. Sanmartn Esplugues
PRETENDEMOSREALIZAR (1) UNA INTRODUCCINa la obra de
Godel-40 mediante la exposicin de un basamento models-
tico propio sobre el que alzar su prueba de la consistencia
de A. E. y de H. G. C.; (2) mostrar los problemas ms re-
cientes en tomo al axioma de constructibilidad y axiomas
de infinito superiores. .
Dedicamos la presente parte 1 a tratar slo aspectos ini-
ciales de la primera cuestin.
1. Nocin de modelo de L.
Sea L el sistema axiomtico de conjuntos de Godel-40 1
de smbolos primitivos:
(S.l.) variables de conjuntos generales: u, v, x, y, ...
(S.2.) variables de clases generales: X, Y, ...
(S.3.) variables de conjuntos particulares: a, b, c, ...
(S.4.) variables de clases particulares: A, B, C, ...
(S.S.) relaciones: E, =.
(S.6.) conectores: -', A, V, ~, +-*.
(S.7.) signos de separacin: (,).
(S.8.) cuantores: 1\, V, 1 V.
Denotamos x es conjunto por Cj(x) y X es clase por Cls(X).
Definimos las frmulas de L por la recursin que sigue:
(1) x E y, x .E X, X E Y, ... son frmulas.
(2) a E b, a .E A, A E B, . .. son frmulas.
(3) x = y, x = X, X = Y, ... son frmulas.
(4) a = b, a = A, A = B, ... son frmulas.
(5) Si P es frmula, "1 P es frmula.
55
- - ---
1
56 Modelos standard de sistemas Axiomticos...
(6) Si P Y Q son frmulas, P 1\ Q, P V Q, P ~ Q, y
P ~ Q son frmulas.
(7) Si P es frmula, \x(P(x)), Vx(P(x)), 1 Vx(P(x)) - .
son frmulas, a menos que P contenga otro cuantor.
I
{
~
'1
Hechos los pertinentes cambios en la simbologa de Godel-
40 a partir de lo establecido, damos por conocidos sus defini-
ciones, axiomas y teoremas. Cualquier referencia a los mis-
mos ir siempre asompaada de la numeracin que presenten
en la obra godeliana, seguida de -G.
En principio, parece obvio que todo enunciado de 1: es
o axioma o teorema de 1:. Denominamos A al conjunto de
axiomas de 1: y T al conjunto de teoremas de 1:. Sea P un
enunciado de 1:. Entonces, si P no pertenece a A, P perte-
nece a T. Sea P = x A"1 x (o cualquiera de sus equivalen-
tes). Entonces es deducible de A un enunciado contradic-
torio en 1:.
Definicin 1.1. 1: es inconsistente, si, y slo si, todo
enunciado de 1: que no es axioma de 1: es teorema de 1:.
Sea B un subconjunto propio de 1:. Supongamos que B
es consistente, entonces
11:'
~
Teorema 1.1. Todo conjunto consistente L de enuncia-
dos posee un modelo. (Completud del CRP.)
Luego B posee un modelo, de ser consistente.
Nuestro intento es exponer el modelo empleado por
Godel para la prueba de B o -por mor de la concordancia
para el lector de Godel-40- de 1: (identificando, de hecho 1:
con B de 1:), como consistente.
Comenzamos por sentar qu sea modelo, informalmente.
Sea M un conjunto que conste de:
II~
(1) individuos u objetos: a; , n = O, 1, 2, ...
y
(2) relaciones: R~/ , n = O, 1, 2, ...; i = 1 (mon-
dica), 2 (didica), ...
Pudiendo emplear aM' bM' ... para a; , ak ' ...
----
-
- - - - . -- .. _.-
Modelos standard de sistemas Axiomticos... 57
Sea Ab una aplicacin biunvoca (mapeo) de 1: sobre M,
de modo que a cada an de 1: corresponde un solo a~I de M,
y a la inversa; y a cada Rn, i de 1: una sola R~i de
Mn (M X M X ... X M, n - 1 veces el producto carte-
siano de M por s mismo), y a la inversa.
Si efectivamente una frmula P de 1: encuentra su corres-
pondiente biunvoco en M, P se dice vlido en M o M - v-
lido, en smbolos
La validez de un enunciado P tal se determina por la
recursin que sigue, empleando como metalenguaje:
(1)
(2)
(3)
(4)
(5)
(6)
(7)
(8)
(9)
i""J para no
& para y
V para o
::> para si
- para si, y slo si
( V) para todo
( JI) para hay
( JI!) para hay slo un
[ , ] para parntesis,
1
=
R
n.i
(
o n
)
_
R
n, i
[
o n
]
M o a,:.., a = M aA/,..., aM
n = O, 1, 2, ...; i = 1, 2, ...
I=M -, P == PM
I=M P A Q == I=M P &
I=M P V Q == I=Mo P
I=M P ~ Q == PM ::> QM
I .M P+-* Q == PM == QM
I=M /\x(P(x)} == (V XM) [XM E M::> I=M 1'. [XM]]
I=M Vx(P(x)) == (JI XM) [XM E M & \=J{ P [XM]]
I=M 1Vx(P(x)) == (JI! XM) [XM E M & 1=# P [XM]]
I=M Q
VI=M Q
Ahora, simbolizando mapeo por <=>, definimos modelo
de k:
-- -- - ----
- - -
-
58 Modelos standard de sistemas Axiomticos...
Definicin 1.2. M es un modelo de L, si
M = <U M , RM>'
donde
UM = faM : aM E MI,
RM = f<aM, bM > : aM E M & bM E M},
y
(1)
y
(2) Rn,i <=>R~i, n = O, 1, 2, ...; i = 1, 2, ...
Y todo enunciado de L es M- vlido bajo dicho mapeo.
2. Nocin de modelo standard de L.
Adoptamos como criterio de standardizacin el que sigue:
Definicin 1.3. M es un modelo standard de un lenguaje
formal L, si, y slo si, la relacin bsica primitiva de L es
la relacin bsica de M.
(es posible pluralizar).
Dado que tal cracter de relacin bsica primitiva la po-
see E en L, definimos modelo standard de L del modo que
.
SIgue:
Definicin 1.4. M ms L == M = <UM,RM> &
RM= f<aM,bM> :aMEUM&bMEUM&aMEbMI,
donde M ms L denota M es modelo standard de L.
3. Nociones de modelo interno e interno genrico.
Sea V = Ona, donde V es el universo de L y Ona es
un ordinal lmite (7.31 Dfn-G). Entonces:
Definicin 1.5. M mi L == M ms L & UM = Onr &
Onr < Ona, donde M mi L denota M es modelo interno
de L. Obviamente, al ser UM = Onr y todo a de L un n-
mero ordinal, por Definicin 1.5. establecemos E como re-
lacin bsica de M y como miembros de UM miembros de
V de L.
Ahora puede suceder Onr < Ona o Onr = Ona. Si lo
primero, entonces denotando con Cls(A), ClsM(A), Cj(a),
-- ---- --
...
,
Modelos standard de sistemas Axiomticos... 59 .
,
Cj M(a) A es clase de 1:, A es clase del modelo M, a es con-
junto 'de 1: y a es conjunto del modelo M, respectivamente:
Definicin 1.6. M mg 1: == 1: = <V, R> & UM =
fClsM (A), Cj M (a): ClsM (A) == Cls(A) & Cj M (a) == Cj(a)}
& RM = f<aM,bM>: aM E M & bM E M & aM E bM}
&~E~ ,
donde M mg 1: denota M es modelo (standard interno) gen-
rico de 1:.
Pero, ya que cualquier conjunto de 1: es una clase impro-
pia de 1: (por A.1.-G), puede reformularse el segundo miem-
bro de la conjuncin como
.
I
: I
< I

,
I
I
I
I
Ahora, un problema ms grave. Por 7.17-G, On es clase
propia. Entonces, si OnT E Ona OnT no es ordinal, sino
nmero ordinal. Aceptamos por convencin tal carcter de
OnT en un M que sea mg.
A partir de 10 dicho, podemos establecer las reglas de
M-validez de 1:, si M es mg, del modo que sigue:
'1
"
Los pasos restantes pueden ser fcilmente completados por
el lector.
Debe observarse que en (2) ocurre = entre AM y BM. Ex-
tendemos la igualdad de 1: a M, sin exigir su ocurrencia en
M para declarar standard a M, ya que la = puede asimismo
no considerarse primitiva de modo explcito en 1: (alternati-
va: A.3.-G).
Sea On .la clase que conste de los complementos de cla-
ses de 1:. Claramente M = <E, On T > es un modelo genrico
de L = < E, Ona >, en que el mismo OnT= 9l E Ona.
11
11
-- -
---
(1) I=M
A E B == AM E B],[
(2) I=M
A = B == AM = BJ1-[
(3)
I=M I P == ,-,,PM
(4) I=M P/\Q
I=M P & I=MQ
60 Modelos standard de sistemas Axiomticos...
Ahora, si On, = Ona, al menos hay una clase en M,
que no es miembro de V de k; .enparticular, On, misma. Es
un modelo de esta ndole ~l manejado por Godel' para la
prueba de consistencia de A.E. y E.G.C. En efecto, Go- .
del prueba que de
k* + V = L:J A.E. & H.G.C.,
donde k* es k reducido a los grupos de axiomas A, B, C
y D Y a los teoremas deducibles de ellos, y V = L es el
axioma de constructibilidad: todo conjunto de V de k es
obtenible (en particular, constructible) en M. Le. es un miem-
bro de L (siendo L la clase constructible de conjuntos cons-
tructibles).
Dedicamos en nuestra Parte II atencin a la nocin de
constructibilidad y a qu sea, en particular, modelo (standard
interno) completo para el que OUI = Ona.
J. SANMARTNESPLUGUES
BIBLIOGRAFA
(1) P. J. COHEN,Set Theory and the Continuum Hypothesis, New
York: W. A. Benjamin, Ine., 1966.
(2) K. GODEL,The consistency 01 the axiom 01 choice..., Prineeton,
New Jersey: Princeton Univ. Pr., 1940.
(3) R. B. JENSEN,Concrete Models 01 Set Theory. En J. N. CROS-
SLEY: Sets Models and Recursion Theory, Amsterdam: North-
Holland, 1967.
(4) J. C. SHEPHERDSON, Inner Models lor Set Theory 1, JSL, vol. 16,
n.O 3 (1951).
- -- -