Add to ORKGPlan B paper, M.A., Mathematics, University of Hawaii at Manoa, 2012In this paper, we study metric structures with a finite number of metrics by extending the model theory developed by Ben Yaacov et al. in themonograph Model theory for metric structures. We first define a metric structure with finitely many metrics, develop the theory of ultraproducts of multimetric structures, and prove some classical model-theoretic theorems about saturation for structures with multiple metrics. Next, we give a characterization of axiomatizability of certain classes of multimetric structures. Finally, we discuss potential avenues of research regarding structures with multiple metrics
The classical Hennessy-Milner theorem is an important tool in the analysis of concurrent processes; ...
We extend our previous duality theorem for Markov processes by equipping the processes with a pseudo...
82 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2007.We also prove a theorem, in th...
We present an introductory survey to first order logic for metric structures and its applications to...
Two Banach spaces X and Y are said to be almost isometric if for every ?? > 1 there exists a ??-isom...
This thesis presents a systematic study of the model theory of probability algebras, random variabl...
Two Banach spaces X and Y are said to be almost isometric if for every λ> 1 there exists a λ-isom...
International audienceThe notion of a randomization of a first order structure was introduced by Kei...
Abstract. We observe that certain classical results of first order model theory fail in the context ...
International audienceWe present an adaptation of continuous first order logic to unbounded metric s...
Generalized metric spaces are obtained by weakening the requirements (e.g., symmetry) on the distanc...
We extend Ahlbrandt and Ziegler's reconstruction results to the metric setting: we show that separab...
AbstractContinuous first-order logic is used to apply model-theoretic analysis to analytic structure...
We study model theoretic properties of valued fields (equipped with a real-valued multiplicative val...
International audienceWe present a framework for model theoretic forcing in a non-first-order contex...
The classical Hennessy-Milner theorem is an important tool in the analysis of concurrent processes; ...
We extend our previous duality theorem for Markov processes by equipping the processes with a pseudo...
82 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2007.We also prove a theorem, in th...
We present an introductory survey to first order logic for metric structures and its applications to...
Two Banach spaces X and Y are said to be almost isometric if for every ?? > 1 there exists a ??-isom...
This thesis presents a systematic study of the model theory of probability algebras, random variabl...
Two Banach spaces X and Y are said to be almost isometric if for every λ> 1 there exists a λ-isom...
International audienceThe notion of a randomization of a first order structure was introduced by Kei...
Abstract. We observe that certain classical results of first order model theory fail in the context ...
International audienceWe present an adaptation of continuous first order logic to unbounded metric s...
Generalized metric spaces are obtained by weakening the requirements (e.g., symmetry) on the distanc...
We extend Ahlbrandt and Ziegler's reconstruction results to the metric setting: we show that separab...
AbstractContinuous first-order logic is used to apply model-theoretic analysis to analytic structure...
We study model theoretic properties of valued fields (equipped with a real-valued multiplicative val...
International audienceWe present a framework for model theoretic forcing in a non-first-order contex...
The classical Hennessy-Milner theorem is an important tool in the analysis of concurrent processes; ...
We extend our previous duality theorem for Markov processes by equipping the processes with a pseudo...
82 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2007.We also prove a theorem, in th...
