MATH
Login Or Sign up

List Question

15
45
Views

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

Published on
#reference-request #first-order-logic #alternative-set-theories
131
Views

Can one combine proper classes into a set?

Published on
#logic #alternative-set-theories
147
Views

Is definable power sufficient to interpret ZFC?

Published on
#set-theory #first-order-logic #alternative-set-theories
125
Views

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

Published on
#first-order-logic #alternative-set-theories
86
Views

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

Published on
#reference-request #first-order-logic #alternative-set-theories
147
Views

Whats the consistency strength of this theory?

Published on
#first-order-logic #alternative-set-theories
176
Views

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

Published on
#logic #alternative-set-theories
35
Views

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

Published on
#first-order-logic #alternative-set-theories
161
Views

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

Published on
#logic #first-order-logic #alternative-set-theories
116
Views

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

Published on
#logic #first-order-logic #alternative-set-theories
592
Views

Is this simple class theory equi-interpretable with ZFC?

Published on
#first-order-logic #alternative-set-theories
108
Views

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

Published on
#first-order-logic #alternative-set-theories
99
Views

Is there a set theory based on ordered lists?

Published on
#alternative-set-theories
469
Views

Set theory with antielements?

Published on
#reference-request #alternative-set-theories
496
Views

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

Published on
#intuitionistic-logic #alternative-set-theories

Trending Questions

Popular # Hahtags

geometry circles algebraic-number-theory functions real-analysis elementary-set-theory proof-verification proof-writing number-theory elementary-number-theory puzzle game-theory calculus multivariable-calculus partial-derivative complex-analysis logic set-theory second-order-logic homotopy-theory winding-number ordinary-differential-equations numerical-methods derivatives integration definite-integrals probability limits sequences-and-series algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.