MATH
Login Or Sign up

List Question

15
147
Views

Why do we *restrict* to universes instead of *surrounding* us with them?

Published on
#category-theory #set-theory #philosophy #alternative-set-theories
89
Views

Which large cardinal this theory stops at proving its existence?

Published on
#large-cardinals #alternative-set-theories
182
Views

Is BZC inconsistent with Reinhardt cardinals

Published on
#set-theory #large-cardinals #alternative-set-theories
270
Views

Are those two theories about universes equivalent?

Published on
#set-theory #axioms #large-cardinals #alternative-set-theories
48
Views

Is the following a reformulation of MK?

Published on
#set-theory #alternative-set-theories
169
Views

Can a set have a complement in intuitionistic ZF?

Published on
#set-theory #constructive-mathematics #intuitionistic-logic #alternative-set-theories
49
Views

Can sets be of equal cardinality with their stratified powers?

Published on
#set-theory #alternative-set-theories
134
Views

What's the exact consistency strength of this fragment of ZFC?

Published on
#set-theory #alternative-set-theories
77
Views

Is ZFC a fragment of this theory?

Published on
#set-theory #alternative-set-theories
166
Views

Can ZFC be interpreted in the following type-set theory?

Published on
#set-theory #alternative-set-theories
63
Views

Exercises for NF(U)

Published on
#reference-request #soft-question #set-theory #alternative-set-theories
88
Views

Reference request: is axiom of choice motivated along type-set lines?

Published on
#reference-request #set-theory #axioms #type-theory #alternative-set-theories
62
Views

ZF-{regularity, comprehension} with "reflexive" comprehension

Published on
#set-theory #paradoxes #alternative-set-theories
120
Views

What is the proof of Replacement in iterating functions over the empty set?

Published on
#set-theory #axioms #alternative-set-theories
74
Views

Is the class of urelements in NFU a set or contained in the universal set?

Published on
#elementary-set-theory #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.