MathOverflow
Mallik's user avatar
Mallik's user avatar
Mallik's user avatar
Mallik
  • Member for 6 years, 5 months
  • Last seen more than 2 years ago
Profile Activity
Stats
583
reputation
5k
reached
0
answers
15
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
6
bronze badges
Top tags
View all tags
0
Score
13
Posts
87
Posts %
0
Score
10
Posts
67
Posts %
0
Score
4
Posts
27
Posts %
0
Score
2
Posts
13
Posts %
0
Score
1
Posts
7
Posts %
0
Score
1
Posts
7
Posts %
Top posts
View all questions and answers
question
8
Syntax/semantics conflation leads to infinitary logic
Dec 31, 2018
question
8
Infinitary reasoning in Godel's Completeness Proof
Jul 17, 2019
question
7
Equivalence between Lowenheim-Skolem Theorem and Godel Completeness
Jul 28, 2019
question
5
Skolem's method for checking truth-value assignments - a "cut-free proof procedure" for first-order logic?
Oct 5, 2020
question
4
Categorical set theories that are not extensions of second-order ZFC
Oct 31, 2017
question
2
Origins of substitutional quantification
Jul 24, 2019
question
2
Possible to prove a lemma from Godel's completeness theorem in intuitionistic logic?
Sep 30, 2019
question
2
Nonconstructive reasoning in Skolem's proof of the Löwenheim-Skolem Theorem
Oct 22, 2019
question
1
Criterion of completeness
Jun 30, 2018
question
1
Definition of ineffability behind reflection principles in set theory
Oct 5, 2018
Top network posts
View all network posts
10
What features of a logic make possible the proof of Downward Lowenheim-Skolem?
8
Pre-1930 outlooks on the decidability of syntactic consistency