Mathematics
user avatar
user avatar
user avatar
Dominic108
  • Member for 6 years, 2 months
  • Last seen this week
Profile Activity
Stats
588
reputation
23k
reached
4
answers
7
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
15
bronze badges
Top tags
View all tags
2
Score
3
Posts
27
Posts %
0
Score
6
Posts
55
Posts %
0
Score
5
Posts
45
Posts %
0
Score
2
Posts
18
Posts %
0
Score
2
Posts
18
Posts %
0
Score
2
Posts
18
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
13
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
What's the problem in logic in defining satisfaction in terms of a formal translation (and thus obtain the rules as theorems)?
Jan 5
question
2
What's the connection between the homomorphism theorem in Enderton "A mathematical Intro to Logic" and Lyndon’s Positivity Theorem?
Jan 30
question
2
When is there an assignment that respects the natural constraints on a join-semilattice of systems?
Apr 1, 2018
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
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
answer
0
Is many sorted logic really a unifying logic?
Apr 11, 2019
Top network posts
View all network posts
9
New alert keeps showing up: Server returned error NXDOMAIN, mitigating potential DNS violation DVE-2018-0001

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.