Source author record

Karim Khanaki

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.CO

Catalog footprint

Research overview

4works

2topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2025arXiv

Simple Models of Randomization and Preservation Theorems

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 theory $T$ with $NIP$ is a (complete) first-order continuous theory with $NIP$ . The proof method is based on the significant use of a particular type of models of $T^{R}$ , namely simple models, certain indiscernible arrays, and Rademacher mean width. Using simple models of $T^R$ gives the advantage of re-proving this theorem in a simpler and quantitative manner. We finally turn our attention to $NSOP$ in randomization. We show that based on the definition of $NSOP$ given [13], $T^R$ is stable if and only if it is $NIP$ and $NSOP$ .

preprint2022arXiv

Dividing lines in unstable theories and subclasses of Baire 1 functions

We give a new characterization of $SOP$ (the strict order property) in terms of the behaviour of formulas in any model of the theory as opposed to having to look at the behaviour of indiscernible sequences inside saturated ones. We refine a theorem of Shelah, namely a theory has $OP$ (the order property) if and only if it has $IP$ (the independence property) or $SOP$ , in several ways by characterizing various notions in functional analytic style. We point out some connections between dividing lines in first order theories and subclasses of Baire 1 functions, and give new characterizations of some classes and new classes of first order theories.

preprint2016arXiv

Amenability, extreme amenability, model-theoretic stability, and dependence property in integral logic

This paper has three parts. First, we study and characterize amenable and extremely amenable topological semigroups in terms of invariant measures using integral logic. We prove definability of some properties of a topological semigroup such as amenability and the fixed point on compacta property. Second, we define types and develop local stability in the framework of integral logic. For a stable formula $ϕ$ , we prove definability of all complete $ϕ$ -types over models and deduce from this the fundamental theorem of stability. Third, we study an important property in measure theory, Talagrand's stability. We point out the connection between Talagrand's stability and dependence property (NIP), and prove a measure theoretic version of definability of types for NIP formulas.

preprint2015arXiv

Eberlein-Smulian compactness and Kolmogorov extension theorems; a model theoretic approach

This paper has two parts. First, we complete the proof of the Kolmogorov extension theorem for unbounded random variables using compactness theorem of integral logic which was proved for bounded case in [8]. Second, we give a proof of the Eberlein-Smulian compactness theorem by Ramsey's theorem and point out the correspondence between this theorem and a result in Shelah's classification theory.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.