MATH
Login Or Sign up

List Question

15
134
Views

Does this ordinal (built by using ZFC + ordinal many large cardinals to attain yet larger ordinals) have a name?

Published on
#set-theory #ordinals #large-cardinals #transfinite-induction
231
Views

How do the authors deduce this weaker version of Transfinite Recursion?

Published on
#set-theory #proof-explanation #ordinals #transfinite-recursion
261
Views

Almost universal class

Published on
#logic #set-theory #model-theory #axioms
248
Views

Proper class if and only if there is a bijection with the class of ordinals.

Published on
#set-theory #ordinals
269
Views

Automorphisms on $(\mathbb R,+)$ and the Axiom of Choice

Published on
#set-theory #axiom-of-choice #descriptive-set-theory
207
Views

Nested models for forcing

Published on
#set-theory #forcing
710
Views

What is the language of FOST (First Order Set Theory)

Published on
#set-theory #first-order-logic #big-numbers
154
Views

Transitive classes and $\Delta_0$- absoluteness.

Published on
#set-theory #model-theory
59
Views

Existence of generic filters when forcing with a class of conditions.

Published on
#set-theory #forcing
207
Views

Question regarding the proof of the Hartogs cardinal theorem.

Published on
#set-theory
244
Views

Is this theorem equivalent to Transfinite Recursion Theorem?

Published on
#set-theory #ordinals #transfinite-recursion
221
Views

What sets are obtained by adding $\aleph_1$ unions and intersections to the Borel algebra?

Published on
#measure-theory #set-theory #descriptive-set-theory #borel-sets
152
Views

Are these two statements regarding Transfinite Recursion equivalent?

Published on
#set-theory #ordinals #transfinite-recursion
149
Views

An undetermined measurable set and Borel Determinacy

Published on
#logic #set-theory #descriptive-set-theory
181
Views

Are these two parametric versions of Transfinite Recursion equivalent?

Published on
#set-theory #ordinals #transfinite-recursion

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.