Karim Khanaki

activity

20242026

collaborators

6 papers

math.LO2026

Keisler Measures and Generically Stable Random Types

Karim Khanaki

We introduce the notions of $r g s$ and $i r g s$ for Keisler measures, motivated by the study of generically stable random types and their associated Morley sequences. We obtain charac…

math.LO2026

On classification of continuous first order theories

Karim Khanaki

We give several new characterizations of $I P$ (the independence property) and $S O P$ (the strict order property) for continuous first order logic and study their relations to the fu…

math.LO2025

Simple Models of Randomization and Preservation Theorems

Karim Khanaki, Massoud Pourmahdian

The main purpose of this paper is to present a new and more uniform model-theoretic/combinatorial proof of the theorem ([5]): The randomization $T^{R}$ of a complete first-order th…

math.LO2025

Dependent measures in independent theories

Karim Khanaki

We introduce the notion of dependence, as a property of a Keisler measure, and generalize several results of [HPS13] on generically stable measures (in $N I P$ theories) to arbitrary…

math.LO2025

Generic Stability and Modes of Convergence

Karim Khanaki

We study generically stable types/measures in both classical and continuous logics, and their connection with randomization and modes of convergence of types/measures.

math.LO2024

Glivenko-Cantelli classes and NIP formulas

Karim Khanaki

We give several new equivalences of $N I P$ for formulas and new proofs of known results using [T87] and [HOR91]. We emphasize that Keisler measures are more complicated than types (…