Showing 2018 · math.LOShow all
3 papers · 2 filters
math.LO2018
Tameness in generalized metric structures
Michael Lieberman, Jiri Rosicky, Pedro Zambrano
We broaden the framework of metric abstract elementary classes (mAECs) in several essential ways, chiefly by allowing the metric to take values in a well-behaved quantale. As a pro…
math.LO2018
A category-theoretic characterization of almost measurable cardinals
Michael Lieberman
Through careful analysis of an argument of Brooke-Taylor and Rosicky, we show that the powerful image of any accessible functor is closed under colimits of -chains, a suffic…
math.LO2018
Forking independence from the categorical point of view
Michael Lieberman, Jiří Rosický, Sebastien Vasey
Forking is a central notion of model theory, generalizing linear independence in vector spaces and algebraic independence in fields. We develop the theory of forking in abstract, c…