La lógica adaptada de la probabilidad es una lógica modelo-teórica introducida por Keisler en 1979 que permite comparar procesos estocásticos basándose en las propiedades de universalidad, saturación y homogeneidad de las estructuras (espacios adaptados de probabilidad) de esta lógica. Proponemos enriquecer esta teoría de modelos de los procesos estocásticos para que sea posible comparar no solo procesos estocásticos sino teorías estocásticas. Como punto de partida tomamos las cuestiones abiertas sobre definibilidad en espacios adaptados de probabilidad. Investigamos los tipos en esta clase de estructuras, su topología y las álgebras de Lindenbaum de las teorías de la lógica adaptada de la probabilidad. Complementamos con conceptos modelo-teóricos más contemporáneos como aquellos provenientes de la teoría de la clasificación de Shelah.
Buscamos coordinar la caracterización modelo-teórica de las teorías estocásticas y sus modelos con algunas nociones de la mecánica cuántica como correlación, coherencia, localidad y contextualidad. Más concretamente, proponemos precisar en términos matemáticos las diferencias estructurales entre la dinámica de uno o más granos de polen suspendidos en un líquido y la dinámica de una o más partículas «cuánticas». |