Mathematics
Ioannis Eleftheriadis's user avatar
Ioannis Eleftheriadis's user avatar
Ioannis Eleftheriadis's user avatar
Ioannis Eleftheriadis
  • Member for 3 years
  • Last seen more than 1 year ago
  • Oxford, UK
Profile Activity
Stats
312
reputation
2k
reached
7
answers
3
questions
Communities
Badges
This user doesn’t have any gold badges yet.
1
silver badge
5
bronze badges
Top tags
View all tags
9
Score
9
Posts
90
Posts %
6
Score
5
Posts
50
Posts %
6
Score
3
Posts
30
Posts %
5
Score
6
Posts
60
Posts %
3
Score
1
Posts
10
Posts %
1
Score
1
Posts
10
Posts %
Top posts
All Questions Answers
Score Newest
question
3
Is the coequalizer of two abelian groups in Ab the same as their coequalizer in Set?
May 31, 2021
answer
3
Is this equivalence of the compactness theorem true?
Nov 18, 2020
question
2
Ultraproduct of pairwise non-equivalent structures
Nov 27, 2020
question
2
Definable vs Interpretable Order
Feb 8, 2021
answer
2
Determining all the $1$-types of a given theory
Nov 24, 2020
answer
1
Show that when $p$ is a principal type, it must contain the formula that implies it
Nov 24, 2020
answer
1
Symbolizing only and all other in first-order logic?
Nov 24, 2020
answer
1
Prove that ever $\Sigma_0$ sentence is provable from PA (Peano Arithmetic, with exponentiation)
Feb 14, 2021
answer
1
Does $A\vDash B$? where $B$ has free variables?
Feb 16, 2021
answer
0
First-order model theory problem
Nov 22, 2020

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.