Skip to main content
Mathematics
Dominic108's user avatar
Dominic108's user avatar
Dominic108's user avatar
Dominic108
  • Member for 8 years, 6 months
  • Last seen more than a month ago
Profile Activity
Stats
644
reputation
25k
reached
4
answers
6
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
17
bronze badges
Top tags
View all tags
13
Score
1
Posts
10
Posts %
4
Score
3
Posts
30
Posts %
2
Score
5
Posts
50
Posts %
2
Score
4
Posts
40
Posts %
2
Score
2
Posts
20
Posts %
2
Score
2
Posts
20
Posts %
Top posts
question
15
Is many sorted logic really a unifying logic?
Oct 8, 2018
answer
13
What is the probability that a point chosen randomly from inside an equilateral triangle is closer to the center than to any of the edges?
Mar 9, 2016
question
2
When is there an assignment that respects the natural constraints on a join-semilattice of systems?
Apr 1, 2018
question
2
What's the connection between the homomorphism theorem in Enderton "A mathematical Intro to Logic" and Lyndon’s Positivity Theorem?
Jan 30, 2022
answer
2
Is many sorted logic really a unifying logic?
Apr 11, 2019
answer
2
What is exactly the difference between a definition and an axiom?
Sep 10, 2020
question
1
Is the semidecidability of the valid formula of second order logic dependent upon the semantic?
May 30, 2018
question
1
What's the problem in logic in defining satisfaction in terms of a formal translation (and thus obtain the rules as theorems)?
Jan 5, 2022
question
0
Understanding interpretation of quantified set variables in Herbert Enderton "Second-order and Higher-order logic"
May 30, 2018
answer
0
Why $yC_1x \iff yC_2x$ implies $C_1 = C_2$? $C_i$ is a relation.
Mar 20, 2016
Top network posts
View all network posts
9
New alert keeps showing up: Server returned error NXDOMAIN, mitigating potential DNS violation DVE-2018-0001