MATH
Login Or Sign up

List Question

15
74
Views

About $L \vDash GCH$

Published on
#set-theory
233
Views

minimum cardinal for a set of sets

Published on
#set-theory
202
Views

Is Epsilon induction a theorem schema of Zermelo set theory?

Published on
#induction #set-theory #first-order-logic
425
Views

Book on set theory

Published on
#set-theory
437
Views

Preservation of cardinality under ordinal exponentiation.

Published on
#set-theory
558
Views

Showing $\mathbb{R}^2$ has a Hamel basis using Zorn's lemma?

Published on
#set-theory #axiom-of-choice #hamel-basis
2.8k
Views

Why can't we prove consistency of ZFC like we can for PA?

Published on
#logic #set-theory #model-theory #incompleteness
97
Views

Models of extensionality and comprehension without union

Published on
#logic #set-theory #model-theory
616
Views

Is the étale site a small category?

Published on
#algebraic-geometry #category-theory #set-theory #schemes
229
Views

Why is the existence of large cardinals believed to be true?

Published on
#set-theory #large-cardinals
78
Views

Creating a 'sequence' of subsets using the subset axiom, then using induction to prove they are all equal

Published on
#induction #set-theory #axioms
222
Views

Can the function $S(\alpha)$ have a fixed point ordinal?

Published on
#set-theory #ordinals
126
Views

In NBG set theory, if I have a class with a bijection to a proper class, is that class necessarily a proper class?

Published on
#set-theory
282
Views

Set theoretic issues in the definition of a site in Stacks Project

Published on
#algebraic-geometry #category-theory #set-theory #sheaf-theory #grothendieck-topologies
66
Views

How do I proceed to prove $\tau<\alpha\cdot\beta\iff \tau=\alpha\cdot\eta+\zeta$ for a unique $\eta<\beta,\zeta<\alpha$?

Published on
#set-theory #ordinals

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.