Alex Kruckman

Middletown, CT, United States

https://akruckman.faculty.wesleyan.edu/

Hello! I am an assistant professor at Wesleyan University. I am interested in mathematical logic (primarily model theory) and adjacent areas.

top accounts reputation activity subscriptions

Can you make the triviality of $\langle a,b,c \mid aba^{-1} = b^2, bcb^{-1} = c^2, cac^{-1} = a^2 \rangle$ more trivial?

abstract-algebra group-theory alternative-proof group-presentation asked Jan 4, 2019 at 4:13

math.stackexchange.com

11 votes

The Axiom of Determinacy and the Banach-Mazur game

set-theory lo.logic descriptive-set-theory determinacy infinite-games asked Apr 3, 2018 at 20:19

mathoverflow.net

10 votes

Is there a general theory of "representation theorems"?

ct.category-theory universal-algebra asked Jul 16, 2013 at 5:53

mathoverflow.net

10 votes

Two questions on completely regular filters in locales

general-topology lattice-orders filters topos-theory locales asked Jun 26, 2016 at 0:13

math.stackexchange.com

9 votes

ind-completion and functors which are full with respect to isomorphisms

category-theory model-theory asked Aug 3, 2014 at 18:53

math.stackexchange.com

9 votes

Is nfcp equivalent to stable + eliminates $\exists^\infty$?

reference-request model-theory asked Nov 12, 2014 at 6:31

mathoverflow.net

8 votes

Localization at finitely many minimal prime ideals

commutative-algebra asked Sep 22, 2014 at 7:14

math.stackexchange.com

8 votes

Ind-objects with "full support"

ct.category-theory asked Aug 6, 2023 at 17:42

mathoverflow.net

7 votes

Ind-objects with "full support"

category-theory limits-colimits asked May 10, 2023 at 23:00

math.stackexchange.com

7 votes

What are $(m,n)$-pseudoplanes?

reference-request co.combinatorics incidence-geometry asked Jun 13, 2018 at 19:26

mathoverflow.net

Top Answers

Create unique number from 2 numbers

math.stackexchange.com

Why do many graduate programs in mathematics (United States) still have foreign language requirements today (in 2010s)?

academia.stackexchange.com

Tarski's decidability proof on real closed field and Peano arithmetic

math.stackexchange.com

Apparent inconsistency of Lebesgue measure

math.stackexchange.com

Expressing associativity with only two variables

math.stackexchange.com

How do I find an integer value for which an expression is non-prime?

math.stackexchange.com

Elements in $\hat{\mathbb{Z}}$, the profinite completion of the integers

math.stackexchange.com

Why is 'isomorphism' defined more generally in Category theory than in Abstract Algebra?

math.stackexchange.com

What's the topological par for each positive integer?

math.stackexchange.com

Does a finite first-order theory which has a model always have a finite model?

math.stackexchange.com

Purely categorical definition of Hausdorff space

math.stackexchange.com

Is the field $\mathbb{Q}(\pi)$ elementarily equivalent to $\mathbb{Q}$?

math.stackexchange.com

Demystifying the Magic Diagram

math.stackexchange.com

Biggest Field Of Characteristic $p$

mathoverflow.net

Terminal objects as "nullary" products

math.stackexchange.com

Difference between first and second order induction?

math.stackexchange.com

Identifying the finite symmetric groups

math.stackexchange.com

Is the union of a chain of elementary embeddings elementary?

mathoverflow.net

Ultraproducts of Banach spaces versus model theoretic ultraproduct

mathoverflow.net

Classification of automorphisms of projective space

math.stackexchange.com

If every polynomial in $k[x]$ has a root in $E$, is $E$ algebraically closed?

math.stackexchange.com

Is the following set Borel?

math.stackexchange.com

Non-isomorphic structures of the same cardinality which are elementary equivalent

math.stackexchange.com

Distributivity of categorical product and sum

math.stackexchange.com

Confusion of the decidability of $(N,s)$

math.stackexchange.com

Intuition behind homogeneous models

math.stackexchange.com

Can we define an ordered pair as $(a,b)=\{a,\{b\}\}$?

math.stackexchange.com

Is proof of the law of identity a case of circular reasoning?

math.stackexchange.com

Is FOL really sound?

math.stackexchange.com

Is an interpretation just a homomorphism between theories?

math.stackexchange.com