User:Gammach/sandbox

En la Lógica matemática, especialmente en teoria de conjuntos y teoria de modelos, el método de va-y-viene es un método para mostrar isomorfismo entre estructuras que satisfacen ciertas condiciones. En particular:
 * Puede ser utilizado para probar que dos ordenes densos lineales sin puntos terminales son isomorfos. Un isomorfismo entre ordenes lineales es una biyeccion que preserva el orden. Este resultado implica, por ejemplo, que existe una biyeccion estrictamente creciente entre el conjunto de numeros racionales y el conjunto de reales algebraicos.