Researcher profile

Kyle Gannon

Kyle Gannon contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

math.LO

Trust snapshot

Quick read

Trust 17 - UnverifiedVerification L1Unclaimed author

4works

0followers

1topics

3close collaborators

Actions

Decide how to stay connected

Follow researcher0

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

preprint2026arXiv

Measures and stability in a model, revisited

This article is written in celebration of the 8th Kazakh-French Logical Colloquium. We expand on an unpublished research note of the second author. We record some results concerning local Keisler measures with respect to a formula which is stable in a model. We prove that in this context, every local Keisler measure on the associated local type space is a weighted sum of (at most countably many) types. Using this observation, we give an elementary proof of the commutativity of the Morley product in this context. We then give a functional analytic proof that the double limit property lifts to the appropriate evaluation map on pairs of local measures. We end with some comments on the NOP and local measures in the (properly) stable context.

preprint2021arXiv

Associativity of the Morley product of invariant measures in NIP theories

In light of a gap found by Krupiński, we give a new proof of associativity for the Morley (or "nonforking") product of invariant measures in NIP theories.

preprint2021arXiv

Definable convolution and idempotent Keisler measures

We initiate a systematic study of the convolution operation on Keisler measures, generalizing the work of Newelski in the case of types. Adapting results of Glicksberg, we show that the supports of generically stable (or just definable, assuming NIP) measures are nice semigroups, and classify idempotent measures in stable groups as invariant measures on type-definable subgroups. We establish left-continuity of the convolution map in NIP theories, and use it to show that the convolution semigroup on finitely satisfiable measures is isomorphic to a particular Ellis semigroup in this context.

preprint2019arXiv

Remarks on generic stability in independent theories

In NIP theories, generically stable Keisler measures can be characterized in several ways. We analyze these various forms of "generic stability" in arbitrary theories. Among other things, we show that the standard definition of generic stability for types coincides with the notion of a frequency interpretation measure. We also give combinatorial examples of types in NSOP theories that are finitely approximated but not generically stable, as well as $ϕ$-types in simple theories that are definable and finitely satisfiable in a small model, but not finitely approximated. Our proofs demonstrate interesting connections to classical results from Ramsey theory for finite graphs and hypergraphs.

Institution

Affiliation not imported yet

This author record came from a source that does not expose affiliation metadata. Once the author claims the profile or we enrich the record from another provider, this section will link to the concrete institution.

Topic footprint