Máquina de plata


En la teoría de conjuntos , las máquinas de plata son dispositivos que se utilizan para evitar el uso de una estructura fina en las pruebas de enunciados que se mantienen en L. Fueron inventados por el teórico de escenarios Jack Silver como un medio para demostrar que el cuadrado global se sostiene en el universo constructivo .

Un ordinal es * definible a partir de una clase de ordinales X si y solo si hay una fórmula y tal que es el ordinal único para el cual donde para todos definimos como el nombre para dentro .

Una estructura es elegible si y solo si:

Si es una estructura elegible, entonces se define como antes, pero con todas las apariciones de X reemplazadas por .

Sean dos estructuras elegibles que tengan la misma función k. Entonces decimos si y tenemos: