MathOverflow
Zuhair Al-Johar's user avatar
Zuhair Al-Johar's user avatar
Zuhair Al-Johar's user avatar
Zuhair Al-Johar
  • Member for 7 years, 2 months
  • Last seen this week
  • Baghdad, Iraq
Profile Activity
Stats
7,891
reputation
94k
reached
47
answers
307
questions
Communities
View all
About

Amateur of Mathematical logic and foundations.

Founder of Acyclic comprehension criterion.

Erdős number: 4.

Badges
View all badges
1
gold badge
12
silver badges
38
bronze badges
Top tags
View all tags
58
Score
308
Posts
87
Posts %
47
Score
319
Posts
90
Posts %
9
Score
17
Posts
5
Posts %
8
Score
36
Posts
10
Posts %
4
Score
39
Posts
11
Posts %
4
Score
26
Posts
7
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
12
Can $L$ be defined without parameters?
Jun 16
question
11
Can two set theories extending Z be different and yet bi-interpretable?
Jun 18, 2018
question
11
Is every set being cardinal definable consistent with ZF + negation of Choice?
Dec 26, 2021
question
10
What's the exact consistency strength of this axiom system for classes and sets?
Jun 17, 2019
question
10
Does every consistent extension of ZF have a model in the minimal transitive model of ZFC?
Jan 1
question
10
Can Cantor's theorem be proved in Parameter Free Zermelo?
Oct 28, 2016
answer
10
Applications of mathematics in clinical setting
Sep 16, 2019
question
10
Can GCH fail everywhere every way?
Jan 14, 2022
question
10
Is choice over definable sets equivalent to AC over axioms of ZF-Reg.?
Nov 25, 2021
question
9
Can we have an infinite sequence of decreasing cardinality all terms of which have equal sized power sets?
Aug 12, 2018
Top network posts
View all network posts
12
What is the definition of "Natural Selection"?
11
Is this statement equivalent to AC?
8
Why not $\{\{a\},\{b, \emptyset \}\}$ as the ordered pairs?
5
Can there be a sentence that is true in every model of an effective theory and yet not provable in that theory?
5
Can full replacement follow from well ordered replacement over rest of axioms of ZF?

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.