List questions from alternative-set-theories | MathQA

Has this logic of relations been done before?

Published on 02 May 2022 - 7:50

Reference Request: Has this line on rudimentary relations been worked out before in relation to defining sets and their membership?

Published on 17 Jun 2022 - 9:12

"Denseness Axiom"

Published on 25 Mar 2026 - 17:28

Where do subsets of a stage in L stop to newely appear?

Published on 06 Aug 2022 - 6:25

Set theory with infinite subsets of N but without an uncountable power set

Published on 15 Aug 2022 - 9:45

Can we restrict the interpretation of ' belongs to' relation in set theory?

Published on 23 Aug 2022 - 10:52

Extending empty set + adjunction to interpret PA

Published on 21 Sep 2022 - 23:58

Can this theory be defined in FOL(=,$\in$)?

Published on 23 Sep 2022 - 19:34

Constructing Algebraic Closures in ETCS

Published on 30 Oct 2022 - 14:17

Classifying all vacuously true FOL statements in set theory?

Published on 17 Nov 2022 - 4:41

Is this proof wrong?

Published on 24 Mar 2026 - 9:14

Set theories combining ZFC and NFU

Published on 04 Jan 2023 - 7:37