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 2017Show all

4 papers · 1 filter

math.LO2017★ 1 cited

Properly ergodic structures

Nathanael Ackerman, Cameron Freer, Alex Kruckman +1

We consider ergodic $Sym (N)$ -invariant probability measures on the space of $L$ -structures with domain $N$ (for $L$ a countable relational language), and…

math.LO2017★ 8 cited

Independence in generic incidence structures

Gabriel Conant, Alex Kruckman

We study the theory $T_{m, n}$ of existentially closed incidence structures omitting the complete incidence structure $K_{m, n}$ , which can also be viewed as existentially closed $K_…

math.LO2017

Tameness in least fixed-point logic and McColm's conjecture

Siddharth Bhaskar, Alex Kruckman

We investigate four model-theoretic tameness properties in the context of least fixed-point logic over a family of finite structures. We find that each of these properties depends…

math.LO2017★ 28 cited

Generic expansion and Skolemization in NSOP $_{1}$ theories

Alex Kruckman, Nicholas Ramsey

We study expansions of NSOP $_{1}$ theories that preserve NSOP $_{1}$ . We prove that if $T$ is a model complete NSOP $_{1}$ theory eliminating the quantifier $\exists^{\infty}$ , then the ge…

Properly ergodic structures

Independence in generic incidence structures

Tameness in least fixed-point logic and McColm's conjecture

Generic expansion and Skolemization in NSOP1​ theories

Generic expansion and Skolemization in NSOP $_{1}$ theories