Skip to main content
Mathematics
Zuhair's user avatar
Zuhair's user avatar
Zuhair's user avatar
Zuhair
  • Member for 6 years, 11 months
  • Last seen more than a week ago
  • Baghdad, Iraq
Profile Activity
Stats
4,651
reputation
40k
reached
44
answers
275
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
9
silver badges
26
bronze badges
Top tags
View all tags
33
Score
204
Posts
64
Posts %
27
Score
70
Posts
22
Posts %
26
Score
62
Posts
19
Posts %
7
Score
35
Posts
11
Posts %
6
Score
24
Posts
8
Posts %
3
Score
155
Posts
49
Posts %
Top posts
View all questions and answers
question
12
Is this statement equivalent to AC?
Jun 28, 2020
question
11
Why not $\{\{a\},\{b, \emptyset \}\}$ as the ordered pairs?
Oct 24, 2019
question
6
Can there be a sentence that is true in every model of an effective theory and yet not provable in that theory?
Apr 30, 2019
answer
5
Is this theory as strong as ZFC?
Mar 30, 2020
question
5
Can full replacement follow from well ordered replacement over rest of axioms of ZF?
Apr 27, 2021
question
5
Is Choice over definable sets equivalent to AC?
Nov 24, 2021
answer
5
Question about the definition of intersection in Zermelo–Fraenkel set theory
Jul 30, 2021
question
5
Is this simple reflective separative theory inconsistent?
Nov 30, 2021
answer
4
Is there a contradiction hiding in this alternative set theory with 3 axioms?
Mar 11, 2020
answer
4
Relative consistency of $\mathsf{ZFC}-$Ext$+\neg$Ext+"every set has a unique powerset"
May 9, 2019
Top network posts
View all network posts
13
Can $L$ be defined without parameters?
12
What is the definition of "Natural Selection"?
11
Can Cantor's theorem be proved in Parameter Free Zermelo?
11
Can two set theories extending Z be different and yet bi-interpretable?
11
Is every set being cardinal definable consistent with ZF + negation of Choice?