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 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

11 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

10 votes

Is there a general theory of "representation theorems"?

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

mathoverflow.net

9 votes

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

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

mathoverflow.net

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

7 votes

Localization at finitely many minimal prime ideals

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

math.stackexchange.com

7 votes

Is a "diagonal-like" set always a null set?

probability-theory measure-theory asked Nov 6, 2015 at 0:24

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

7 votes

Ind-objects with "full support"

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

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

Purely categorical definition of Hausdorff space

math.stackexchange.com

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

math.stackexchange.com

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

math.stackexchange.com

Biggest Field Of Characteristic $p$

mathoverflow.net

Is the union of a chain of elementary embeddings elementary?

mathoverflow.net

Demystifying the Magic Diagram

math.stackexchange.com

Identifying the finite symmetric groups

math.stackexchange.com

Terminal objects as "nullary" products

math.stackexchange.com

Difference between first and second order induction?

math.stackexchange.com

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

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

Is an interpretation just a homomorphism between theories?

math.stackexchange.com

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

math.stackexchange.com

Is the set of permissible numbers of models of various cardinalities computable?

mathoverflow.net

In classical predicate logics, why is it usually assumed that at least one object exists?

math.stackexchange.com

Why are model theorists so fond of definable groups?

mathoverflow.net

When is the maximal element guaranteed by Zorn's Lemma unique?

math.stackexchange.com

Slightly changing the formal definition of continuity of $f: \mathbb{R} \to \mathbb{R}$?

math.stackexchange.com