Alex Kruckman

According to our database, Alex Kruckman authored at least 12 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Invariant measures in simple and in small theories.

Artem Chernikov, Ehud Hrushovski, Alex Kruckman, Krzysztof Krupinski, Slavko Moconja, Anand Pillay, Nicholas Ramsey

J. Math. Log., August, 2023

2022

Examples of weak amalgamation classes.

Adam Krawczyk, Alex Kruckman, Wieslaw Kubis, Aristotelis Panagiotopoulos

Math. Log. Q., 2022

2021

Exploring the Landscape of Relational Syllogistic Logics.

Alex Kruckman, Lawrence S. Moss

Rev. Symb. Log., 2021

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

Siddharth Bhaskar, Alex Kruckman

Log. Methods Comput. Sci., 2021

Interpolative fusions.

Alex Kruckman, Chieu-Minh Tran, Erik Walsberg

J. Math. Log., 2021

2020

Logics for Sizes with Union or Intersection.

Caleb Kisby, Saúl A. Blanco, Alex Kruckman, Lawrence S. Moss

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Disjoint n-Amalgamation and Pseudofinite Countably Categorical Theories.

Alex Kruckman

Notre Dame J. Formal Log., 2019

Independence in Generic incidence Structures.

Gabriel Conant, Alex Kruckman

J. Symb. Log., 2019

2018

Generic expansion and Skolemization in NSOP₁ theories.

Alex Kruckman, Nicholas Ramsey

Ann. Pure Appl. Log., 2018

2017

Model-theoretic dividing lines in least fixed-point logic over finite structures.

Siddharth Bhaskar, Alex Kruckman

CoRR, 2017

2016

Actions Arising from Intersection and Union.

Alex Kruckman, Lawrence Valby

J. Log. Lang. Inf., 2016

2012

A Myhill-Nerode theorem for automata with advice

Alex Kruckman, Sasha Rubin, John Sheridan, Ben Zax

Proceedings of the Proceedings Third International Symposium on Games, 2012