logo móvil
Contáctanos

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

Descargar PDF

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


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.

Otros recursos que podrían interesarte

Temas Virtualpro