Alex Kruckman

activity

20082023

most citedGeneric expansion and Skolemization in NSOP

_{1}

theories

28 citations · 90 across the 17 of their papers we have counts for

collaborators

Showing 2018Show all

3 papers · 1 filter

math.LO2018★ 9 cited

Interpolative Fusions I

Alex Kruckman, Minh Chieu Tran, Erik Walsberg

We define the interpolative fusion $T_{\cup}^{*}$ of a family $(T_{i})_{i \in I}$ of first-order theories over a common reduct $T_{\cap}$ , a notion that generalizes many examples of random…

math.LO2018★ 1 cited

Higher dimensional obstructions for star reductions

Alex Kruckman, Aristotelis Panagiotopoulos

A $*$ -reduction between two equivalence relations is a Baire measurable reduction which preserves generic notions, i.e., preimages of meager sets are meager. We show that a $*$ -red…

math.LO2018★ 4 cited

Exploring the Landscape of Relational Syllogistic Logics

Alex Kruckman, Lawrence S. Moss

This paper explores relational syllogistic logics, a family of logical systems related to reasoning about relations in extensions of the classical syllogistic. These are all decida…