3 papers
math.LO2023
Generic stability, randomizations, and NIP formulas
Gabriel Conant, Kyle Gannon, James E. Hanson
We prove a number of results relating the concepts of Keisler measures, generic stability, randomizations, and NIP formulas. Among other things, we do the following: (1) We introdu…
math.LO2023
Some semilattices of definable sets in continuous logic
James Hanson
In continuous first-order logic, the union of definable sets is definable but generally the intersection is not. This means that in any continuous theory, the collection of $\varno…
math.LO2023
A metric set theory with a universal set
James Hanson
Motivated by ideas from the model theory of metric structures, we introduce a metric set theory, , which takes bounded quantification as primitive and consists of a n…