En primer lugar, un cardinal κ es inaccesible si y solo si κ tiene la siguiente propiedad de reflexión: para todos los subconjuntos U ⊂ V κ , existe α < κ tal que es una subestructura elemental de .
Pero por lo general para una estructura, se referiría al dominio, sería la firma y sería interpretación - entonces, en este caso, ¿cuáles son tres objetos en en la cita se refieren?
Para modelos de (fragmentos de) teoría de conjuntos, en la estructura el conjunto se toma como una nueva relación unaria tal que tiene iff . (Entonces, estas son estructuras técnicamente sobre un lenguaje diferente que tiene además del binario un símbolo de relación unario adicional).