MATH
Login Or Sign up

List Question

15
368
Views

The least universal cardinal has countable cofinality

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

What can we do with nonenumerable sets of formulas (e.g. formulas of Higher order Logic)?

Published on
#combinatorics #infinity #large-cardinals #higher-order-logic #second-order-logic
90
Views

Definability of $j:V\to M$ is an elementary embedding

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

If $\kappa$ is ineffable, then so is $\{\nu \lt \kappa: \nu \text{ is weakly-compact}\}$.

Published on
#set-theory #solution-verification #large-cardinals
210
Views

If $\kappa$ is the $\alpha<\kappa$-th inaccessible cardinal, then the regular cardinals below $\kappa$ form a non-stationary set

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

What is an weakly compact cardinal?

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

What's the limit to formation of ordinals using size-bounded good pairs?

Published on
#set-theory #first-order-logic #ordinals #large-cardinals
83
Views

What's the order type of the least good pair with that additional qualification?

Published on
#set-theory #first-order-logic #ordinals #large-cardinals
225
Views

What large cardinals are limits of Ramsey cardinals?

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

Why is the status of the period in Laver tables not settled?

Published on
#set-theory #large-cardinals #provability
169
Views

Does the Consistency of ZFC imply $V_\kappa$?

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

Is it provable in ZF that there is no nontrivial elementary embedding $\pi: V\to V$?

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

Implications of existence of two inaccessible cardinals?

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

Club class of inaccessibles

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

Kurepa trees and inaccessible cardinals in $L$

Published on
#set-theory #large-cardinals #infinitary-combinatorics

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.