Interpolación e interpolación uniforme en fragmentos cuantificador-libre de teorías de primer orden combinadas
Autores: Ghilardi, Silvio; Gianola, Alessandro
Idioma: Inglés
Editor: MDPI
Año: 2022
Acceso abierto
Artículo científico
2022
Interpolación e interpolación uniforme en fragmentos cuantificador-libre de teorías de primer orden combinadas
Categoría
Matemáticas
Subcategoría
Matemáticas generales
Palabras clave
Encuesta
Interpolación
Interpolación uniforme
Teórico del modelo
Algebraico
Completitud del modelo
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 37
Citaciones: Sin citaciones
En esta encuesta, informamos sobre nuestro trabajo reciente relacionado con los resultados de combinación para interpolación e interpolación uniforme en el contexto de fragmentos cuantificador-libres de teorías de primer orden. Destacamos aspectos modelísticos y algebraicos que conectan este tema con la amalgamación, la amalgamación fuerte y la completitud del modelo. Proporcionamos condiciones suficientes (y, en situaciones relevantes, también necesarias) para la transferencia de la propiedad de interpolación cuantificador-libre a teorías de primer orden combinadas; también investigamos el caso de firma no disjunta bajo la suposición de que la teoría compartida es universal Horn. Para teorías convexas, fuertemente amalgamantes, estables e infinitas sobre firmas disjuntas, también proporcionamos un resultado de transferencia modular para la existencia de interpolantes uniformes. Las completaciones de modelos juegan un papel clave en todo el documento: entran en los resultados de transferencia en el caso de firma no disjunta y también representan un homólogo semántico de los interpolantes uniformes.
Descripción
En esta encuesta, informamos sobre nuestro trabajo reciente relacionado con los resultados de combinación para interpolación e interpolación uniforme en el contexto de fragmentos cuantificador-libres de teorías de primer orden. Destacamos aspectos modelísticos y algebraicos que conectan este tema con la amalgamación, la amalgamación fuerte y la completitud del modelo. Proporcionamos condiciones suficientes (y, en situaciones relevantes, también necesarias) para la transferencia de la propiedad de interpolación cuantificador-libre a teorías de primer orden combinadas; también investigamos el caso de firma no disjunta bajo la suposición de que la teoría compartida es universal Horn. Para teorías convexas, fuertemente amalgamantes, estables e infinitas sobre firmas disjuntas, también proporcionamos un resultado de transferencia modular para la existencia de interpolantes uniformes. Las completaciones de modelos juegan un papel clave en todo el documento: entran en los resultados de transferencia en el caso de firma no disjunta y también representan un homólogo semántico de los interpolantes uniformes.