MATH
Login Or Sign up

List Question

15
293
Views

In TG, what is the purpose of the "set axiom"

Published on
#set-theory #axioms #large-cardinals
870
Views

Is aleph-omega a Mahlo cardinal?

Published on
#set-theory #order-theory #supremum-and-infimum #large-cardinals
158
Views

Consistency strength of "exists a non-trivial elementary embedding $j: HOD \rightarrow HOD $" in the context of $ZFC$?

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

Is it possible that |$\mathbb R$| is an inaccessible cardinal?

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

Are there any cardinals with this property of elementary substructures?

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

Many set theory and model theory questions.

Published on
#set-theory #model-theory #large-cardinals
506
Views

Ordinal rank of inaccessible cardinals

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

Elementary embeddings $L(\mathbb{R})\to L(\mathbb{R})$

Published on
#logic #set-theory #large-cardinals
141
Views

Proper-class-many categorical extensions of ZFC2

Published on
#set-theory #large-cardinals
1k
Views

Grothendieck universes and their connections to set theory and geometry

Published on
#algebraic-geometry #logic #reference-request #algebraic-topology #large-cardinals
181
Views

Inaccessible limit of inaccessibles without Choice

Published on
#logic #set-theory #axiom-of-choice #large-cardinals
231
Views

Axiom X - All consistent large cardinals exist?

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

Definition of normal M-ultrafilter

Published on
#set-theory #filters #large-cardinals
316
Views

Why a Grothendieck universe contains cardinalities of all its elements?

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

$M\models 2^\alpha=\alpha^+\ \forall \alpha<\kappa\longrightarrow 2^\kappa=\kappa^+$ if $M$ is a model of ZFC given by a measurable cardinal

Published on
#set-theory #large-cardinals

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.