MATH
Login Or Sign up

List Question

15
151
Views

Unbounded Finity?

Published on
#logic #set-theory #foundations
93
Views

A well order on $\mathbb Z$ that respects addition?

Published on
#abstract-algebra #set-theory #order-theory
233
Views

A canonical injection $f:\alpha\to[0,1]$ for an arbitrary countable ordinal $\alpha$

Published on
#set-theory #ordinals
599
Views

Why is it that $\omega + \omega_1 = \omega_1$?

Published on
#set-theory #ordinals
795
Views

Weak monotonicity of ordinal addition

Published on
#proof-verification #set-theory #ordinals
845
Views

Show that in the Schroeder-Bernstein Theorem proof the set $X_0$ is the smallest set such that the function h in the proof is bijective

Published on
#set-theory
2.3k
Views

What is a non-constructible real?

Published on
#logic #set-theory #foundations
536
Views

Axiom of Choice and Zorn's Lemma Equivalence: some intuition

Published on
#set-theory #intuition #axiom-of-choice
3.3k
Views

Countable axiom of choice: why you can't prove it from just ZF

Published on
#logic #set-theory #axiom-of-choice
98
Views

How is it possible that the well-ordering theorem is strictly stronger than the axiom of choice in second-order logic?

Published on
#logic #set-theory #axiom-of-choice #higher-order-logic
870
Views

Is (countable) AC necessary for a useful theory of Lebesgue measure?

Published on
#set-theory #axiom-of-choice #lebesgue-measure
862
Views

about the smallest $k$ such that $V_k$ is a model of ZFC

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

Correct Definition of Concrete Category over Set

Published on
#category-theory #set-theory
294
Views

Question about accessibility of category of free abelian groups.

Published on
#category-theory #set-theory #predicate-logic #free-abelian-group #accessible-categories
288
Views

Prove $\bigcup \omega_1 = \omega_1$

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.