Model theory for infinite quantifier languages
Model theory for logic.
Model Theory for Lam Logic
Model theory of fields: An application to positive semidefinite polynomials
Model-completeness for sheaves of structures
Modèles cumulatifs de la théorie des types
Modèles premiers d'une théorie totalement transcendante
Modeling biased information seeking with second order probability distributions
Updating probabilities by information from only one hypothesis and thereby ignoring alternative hypotheses, is not only biased but leads to progressively imprecise conclusions. In psychology this phenomenon was studied in experiments with the “pseudodiagnosticity task”. In probability logic the phenomenon that additional premises increase the imprecision of a conclusion is known as “degradation”. The present contribution investigates degradation in the context of second order probability distributions....
Model-interpretability into trees and applications.
Modelling Real World Using Stochastic Processes and Filtration
First we give an implementation in Mizar [2] basic important definitions of stochastic finance, i.e. filtration ([9], pp. 183 and 185), adapted stochastic process ([9], p. 185) and predictable stochastic process ([6], p. 224). Second we give some concrete formalization and verification to real world examples. In article [8] we started to define random variables for a similar presentation to the book [6]. Here we continue this study. Next we define the stochastic process. For further definitions...
Modelltheoretische Untersuchungen in der Kripke-Semantik.
Modelltheorie und Logik.
Modelos auxiliares para problemas de programación lineal con coeficientes imprecisos en las restricciones.
En este artículo se considera un programa de Programación Lineal en el que los coeficientes del sistema de inecuaciones lineales, que definen el conjunto de restricciones, están dados de forma imprecisa o vaga. Se supone entonces que tales coeficientes pueden ser definidos mediante números difusos. Se propone un enfoque de resolución basado en las distintas versiones existentes para la comparación de números difusos. Finalmente, se obtienen diferentes modelos auxiliares de Programación Lineal, que...
Modelování ve vědě a technice
Models in which all long indiscernible sequences are indiscernible sets
Models of arithmetic and the 1-3-1 lattice
Models of AST without choice
Models of linear logic
Models of second order arithmetic with definable Skolem functions
Models of ZF with the same sets of sets of ordinals