MATH
Login Or Sign up

List Question

15
146
Views

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

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

Which large cardinal this theory stops at proving its existence?

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

Is BZC inconsistent with Reinhardt cardinals

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

Are those two theories about universes equivalent?

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

Is the following a reformulation of MK?

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

Can a set have a complement in intuitionistic ZF?

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

Can sets be of equal cardinality with their stratified powers?

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

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

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

Is ZFC a fragment of this theory?

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

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

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

Exercises for NF(U)

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

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

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

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

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

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

Published on
#set-theory #axioms #alternative-set-theories
73
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

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

Popular Questions

Copyright © 2021 JogjaFile Inc.