Skip to main content
MathOverflow
TomKern's user avatar
TomKern's user avatar
TomKern's user avatar
TomKern
  • Member for 3 years, 8 months
  • Last seen more than a week ago
Profile Activity
Stats
429
reputation
8k
reached
1
answer
9
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
9
bronze badges
Top tags
View all tags
11
Score
1
Posts
10
Posts %
11
Score
1
Posts
10
Posts %
11
Score
1
Posts
10
Posts %
0
Score
6
Posts
60
Posts %
0
Score
5
Posts
50
Posts %
0
Score
4
Posts
40
Posts %
Top posts
answer
11
How does Mathematica do symbolic integration?
Mar 29, 2021
question
7
What is known about first order logic of $\mathbb{N}$ with + and a unary predicate?
Oct 19, 2022
question
6
Are "germ" automata studied?
Aug 18, 2022
question
5
What does the Ehrenfeucht-Fraïssé game on structures with infinitely many relations tell us?
Dec 29, 2022
question
4
Corollaries of Kleene's Theorem (Regular Languages)
Sep 11, 2022
question
4
Are semilinear sets piecewise periodic?
Mar 6, 2023
question
3
Realizing continuum many types and omitting one
Jul 26, 2023
question
2
Name for the theory of words with equal length, prefix, successors
Jul 29, 2021
question
0
First-order logics expressively equivalent to the computable languages
Oct 12, 2022
question
0
Possible determinants of 01-matrices with at most three 1s in each row, column
Jul 16
Top network posts
View all network posts
41
Students confusing "object types" in introductory proofs class
39
Best way to explain the thinking steps from x² = 9 to x=±3
35
What should be memorized in math and what should be reference table?
28
Why is a Calculus III student more likely to solve this problem?
27
What is the justification to teach the (redundant) use of parentheses in multiplications?