Question

Reference request: Would this axiom motivate a Mereological foundation of set theory?

score 43 · Answer 1 · 2019-02-11 11:50:55

43

Views

Reference request: Would this axiom motivate a Mereological foundation of set theory?

Published on 11 Feb 2019 - 11:50

score 129 · Answer 2 · 2026-03-22 10:31:05

129

Views

Can one combine proper classes into a set?

Published on 22 Mar 2026 - 10:31

score 145 · Answer 3 · 2019-02-26 21:54:41

145

Views

Is definable power sufficient to interpret ZFC?

Published on 26 Feb 2019 - 21:54

score 123 · Answer 4 · 2019-02-27 21:22:37

123

Views

Is Ackermann set theory [minus class comprehension] equi-interpretable with Mereological Logicism?

Published on 27 Feb 2019 - 21:22

score 84 · Answer 5 · 2019-03-17 22:36:02

84

Views

Reference Request: had relative part-hood been investigated before?

Published on 17 Mar 2019 - 22:36

score 145 · Answer 6 · 2026-03-22 14:36:50

145

Views

Whats the consistency strength of this theory?

Published on 22 Mar 2026 - 14:36

score 174 · Answer 7 · 2019-04-18 09:10:43

174

Views

Relative consistency of $\mathsf{ZFC}-$Ext$+\neg$Ext+"every set has a unique powerset"

Published on 18 Apr 2019 - 9:10

score 30 · Answer 8 · 2019-05-05 19:00:35

30

Views

Would adding abstractions over sets be inconsistent or otherwise increase the consistency strength?

Published on 05 May 2019 - 19:00

score 159 · Answer 9 · 2019-05-27 09:13:48

159

Views

Is this $\large \in$ $|$ $\large =$ exchange naive set theory consistent?

Published on 27 May 2019 - 9:13

score 114 · Answer 10 · 2019-05-27 21:27:19

114

Views

Would this salvage the $\in|=$ exchange naive set theory?

Published on 27 May 2019 - 21:27

score 589 · Answer 11 · 2019-06-05 09:54:04

589

Views

Is this simple class theory equi-interpretable with ZFC?

Published on 05 Jun 2019 - 9:54

score 105 · Answer 12 · 2019-06-08 07:01:07

105

Views

Can this simple form of double extension set theory escape inconsistency?

Published on 08 Jun 2019 - 7:01

score 89 · Answer 13 · 2026-03-23 20:16:05

89

Views

Is there a set theory based on ordered lists?

Published on 23 Mar 2026 - 20:16

score 465 · Answer 14 · 2026-03-21 21:10:22

465

Views

Set theory with antielements?

Published on 21 Mar 2026 - 21:10

score 495 · Answer 15 · 2026-03-25 06:13:02

495

Views

Does the law of the excluded middle hold for finite sets in intuitionist set theory?

Published on 25 Mar 2026 - 6:13

List Question

Reference request: Would this axiom motivate a Mereological foundation of set theory?

Can one combine proper classes into a set?

Is definable power sufficient to interpret ZFC?

Is Ackermann set theory [minus class comprehension] equi-interpretable with Mereological Logicism?

Reference Request: had relative part-hood been investigated before?

Whats the consistency strength of this theory?

Relative consistency of $\mathsf{ZFC}-$Ext$+\neg$Ext+"every set has a unique powerset"

Would adding abstractions over sets be inconsistent or otherwise increase the consistency strength?

Is this $\large \in$ $|$ $\large =$ exchange naive set theory consistent?

Would this salvage the $\in|=$ exchange naive set theory?

Is this simple class theory equi-interpretable with ZFC?

Can this simple form of double extension set theory escape inconsistency?

Is there a set theory based on ordered lists?

Set theory with antielements?

Does the law of the excluded middle hold for finite sets in intuitionist set theory?

Trending Questions

Popular # Hahtags

Popular Questions