Skip to main content
MathOverflow
William DeMeo's user avatar
William DeMeo's user avatar
William DeMeo's user avatar
William DeMeo
  • Member for 14 years, 3 months
  • Last seen more than a month ago
Profile Activity
Stats
1,241
reputation
119k
reached
14
answers
5
questions
Communities
View all
About

I'm into formalization of mathematics in Agda and Lean; logic, universal algebra, and model theory; category theory; complexity theory; cryptography.

Check out the Agda Universal Algebra Library (agda-algebras) and its documentation (ualib.org).

Badges
View all badges
1
gold badge
12
silver badges
16
bronze badges
Top tags
View all tags
12
Score
7
Posts
37
Posts %
12
Score
2
Posts
11
Posts %
10
Score
5
Posts
26
Posts %
10
Score
3
Posts
16
Posts %
9
Score
4
Posts
21
Posts %
7
Score
5
Posts
26
Posts %
Top posts
View all questions and answers
question
39
Is the Invariant Subspace Problem interesting?
Dec 10, 2010
question
22
Given a lattice L with n elements, are there finite groups H < G such that L $\cong$ the lattice of subgroups between H and G?
Jan 15, 2012
question
9
Which finite nonabelian groups have long chains of subgroups as intervals in their subgroup lattice?
Apr 21, 2011
question
7
What groups have a second maximal subgroup below exactly four maximal subgroups?
May 2, 2011
answer
7
Does any textbook take this approach to the isomorphism theorems?
Dec 10, 2010
answer
7
Counterexamples in universal algebra
Feb 22, 2017
answer
7
Finite lattice representation problem checking
Jan 22, 2018
answer
6
Good lattice theory books?
Dec 9, 2010
answer
6
Good programs for drawing (weighted directed) graphs
Oct 30, 2014
answer
5
Non-commutative Fourier transform
Jun 5, 2012
Top network posts
View all network posts
58
Examples of patterns that eventually fail
40
How do I rotate a tikz rectangle about a specific axis?
23
If the product of two non-zero square matrices is zero, then both factors must be singular.
21
If monotone decreasing and $\int_0^\infty f(x)dx <\infty$ then $\lim\limits_{x\to\infty} xf(x)=0.$
21
What kind of work do modern day algebraists do?