Rudimenta enigo

El Vikipedio, la libera enciklopedio
Saltu al: navigado, serĉo

En matematika logiko, se M kaj N estas modeloj en la sama lingvo L, funkcio

f:M\to N

nomiĝas rudimenta enigo se f(M) estas rudimenta substrukturo de N kaj f estas modela izomorfio inter M kaj f(M).

Rudimentaj enigoj estas la plej gravaj bildigoj en modela teorio. Rudimentaj enigoj kies fonta aro estas V (la universo de aroteorio) havas gravan rolon en la teorio de grandaj kardinaloj.