LabCompass

Alex Kruckman

Mathematics · The Ohio State University

OpenAlex
Mid career · publishing since 2008
Advanced Topology and Set TheoryComputability, Logic, AI AlgorithmsAdvanced Algebra and LogicLogic, programming, and type systemsHomotopy and Cohomology in Algebraic Topology

Publications

24

Citations

94

Est. group size

—

Recurring co-author estimate

Active years

17

Publishing since 2008

Research summary
AI-generated

Alex Kruckman works in mathematical logic, specifically model theory, which studies abstract mathematical structures and the languages used to describe them. Recent work focuses on classifying types of mathematical theories based on properties like 'dividing,' 'amalgamation,' and 'invariant measures,' as well as connections to finite structures, metric spaces, and logic used in computer science. This research is highly theoretical and contributes to foundational questions about how mathematical structures can be classified and combined.

Model theoryClassification of mathematical theories (simple, small, NSOP1 theories)Finite and pseudofinite structuresAmalgamation and interpolation in logicLogic in computer science (fixed-point logic)

Publication output has been steady over the past decade, peaking around 2021 with five papers and settling to about 1-2 papers per year in the most recent years.

Generated by claude-sonnet-5 from public bibliographic data · Jul 20, 2026

Publication cadence
Publications per year over the last 10 years — averaging 1.4/year recently
2017: 2 publications172018: 1 publication182019: 1 publication192020: 3 publications202021: 5 publications5212022: 3 publications222023: 2 publications232024: 2 publications242526
Recent publications
Publishes in
  • arXiv (Cornell University)×5
  • Journal of Mathematical Logic×2
  • Annals of Pure and Applied Logic×1
  • The Review of Symbolic Logic×1
  • Notre Dame Journal of Formal Logic×1
Similar researchers
By research-topic overlap

This profile was generated automatically from public scholarly data (OpenAlex). Group size and activity levels are estimates derived from co-authorship patterns.

Last updated Jul 19, 2026.

Claim or correct this profile