Alex Kruckman

13 papers A* 1Journal 11Unranked 1
YearRankTypeTitle / Venue / Authors
2023 J jnl
Invariant measures in simple and in small theories.
J. Math. Log.
Artem Chernikov, Ehud Hrushovski, Alex Kruckman, Krzysztof Krupinski, Slavko Moconja, Anand Pillay, Nicholas Ramsey
2022 J jnl
Examples of weak amalgamation classes.
Math. Log. Q.
Adam Krawczyk, Alex Kruckman, Wieslaw Kubis, Aristotelis Panagiotopoulos
2021 J jnl
Exploring the Landscape of Relational Syllogistic Logics.
Rev. Symb. Log.
Alex Kruckman, Lawrence S. Moss
2021 J jnl
Interpolative fusions.
J. Math. Log.
Alex Kruckman, Chieu-Minh Tran, Erik Walsberg
2021 J jnl
Tameness in least fixed-point logic and McColm's conjecture.
Log. Methods Comput. Sci.
Siddharth Bhaskar, Alex Kruckman
2020 A* conf
Logics for Sizes with Union or Intersection.
AAAI
Caleb Kisby, Saúl A. Blanco, Alex Kruckman, Lawrence S. Moss
2019 J jnl
Disjoint n-Amalgamation and Pseudofinite Countably Categorical Theories.
Notre Dame J. Formal Log.
Alex Kruckman
2019 J jnl
Independence in Generic incidence Structures.
J. Symb. Log.
Gabriel Conant, Alex Kruckman
2018 J jnl
Exploring the Landscape of Relational Syllogistic Logics.
CoRR
Alex Kruckman, Lawrence S. Moss
2018 J jnl
Generic expansion and Skolemization in NSOP
Ann. Pure Appl. Log.
Alex Kruckman, Nicholas Ramsey
2017 J jnl
Model-theoretic dividing lines in least fixed-point logic over finite structures.
CoRR
Siddharth Bhaskar, Alex Kruckman
2016 J jnl
Actions Arising from Intersection and Union.
J. Log. Lang. Inf.
Alex Kruckman, Lawrence Valby
2012 — conf
A Myhill-Nerode theorem for automata with advice
GandALF
Alex Kruckman, Sasha Rubin, John Sheridan, Ben Zax