Rudimenta enigo

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

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

nomiĝas rudimenta enigo se estas rudimenta substrukturo de kaj estas modela izomorfio inter kaj .

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.