Me gustaría preguntar si hay una buena lista de propiedades de gráfico que uno puede expresar en el MSO2 (es decir, utilizando la cuantificación sobre conjuntos de bordes) pero provablemente no en MSO1 (es decir, utilizando la cuantificación sobre conjuntos de vértices solamente). Sé que este debería ser el camino de Hamilton, pero creo que tiene que haber muchos ejemplos de este tipo. Ideales son aquellos que son adecuados como ejercicios para resultados de no expresividad utilizando juegos Ehrenfeucht-Fraïssé.
Propiedades gráficas expresibles de MSO2 inexpresables en MSO1
- Preguntado el 22 de Diciembre, 2016
- Cuando se hizo la pregunta
- 349 visitas
- Cuantas visitas ha tenido la pregunta
- 0 Respuestas
- Cuantas respuestas ha tenido la pregunta
- Abierta
- Estado actual de la pregunta
Preguntas relacionadas
- Puede infinito acortar las pruebas de un lote?
- Fue Grothendieck familiarizado con la obra de Stone sobre álgebras Booleanas?
- Cómo probar k!+(2k)!+⋯+(nk)! tiene un divisor primo mayor que k!
- ¿Qué es Yoneda del Lexema una generalización?
- ¿Pueden ser isomorfos los grupos simétricos sobre conjuntos de distinta cardinalidad?
- ¿Todos los números naturales tienen un valor distinto de cero múltiple, que es un palíndromo en base 10?
- ¿Cómo puedo definir el producto de dos ideales categóricamente?
- Existe una potencia de 2 que los últimos cinco dígitos son los 3 ' s o 6 ' s. encontrar los últimos 5 dígitos de este número
- ¿Qué es el DAG y lo que tiene que ver con las ideas de Voevodsky?
- Demostrando que x es un número entero, si las diferencias entre cualquier dos de x1919, x1960 y x2100 son números enteros
- Cero evitar enteros
Preguntas Destacadas
- ¿Qué puede expresarse y demostrarse con la lógica interna de un topos?
- ¿Cuándo un gráfico subyace al diagrama de Hasse de un poset?
- Subsecuencia convergente desinn
- ¿Qué sucede cuando la amplitud de las ondas interferentes es diferente en el fenómeno de los latidos?
- Imágenes del politopo von Neumann
- Tensor producto de categorías abelianas
En nuestra red
- ¿Cómo puedo encontrar y ejecutar el keytool
- ¿Cómo puedo exportar notas de MIUI?
- Funciones de utilidad estrictamente crecientes.
- Linux: Matar proceso en un puerto específico
- El teclado del iPad ahora es pequeño
- Sustitución Trigonométrica VS Sustitución Hiperbólica
- ¿Qué significa 1 PC en cuanto a la franquicia de equipaje?
- ¿Cómo sé qué decir a los enemigos?
- Adding up in Qweb reports Odoo
- Masquer l'icône VoLTE sur Samsung
- Magento SOAP C# Anmeldeproblem in Visual Studio 11 (Metro)
