MATH
Login Or Sign up

List Question

15
146
Views

Reining in the Axiom of Power Set in ZF

Published on
#set-theory #axioms
123
Views

Measurable cardinals: non-trivial two-valued measures

Published on
#set-theory #cardinals
449
Views

Meaning of "absolute zero" in set theory

Published on
#measure-theory #set-theory
108
Views

Let $X$ and $Y$ be set, then $|X|\le |Y|$ or $|Y|\le|X|.$

Published on
#set-theory #proof-explanation
119
Views

Let $X$ and $Y$ be no empty sets, then $|X|\le |Y|$ if and only if there exists $f\colon Y\to X$ onto

Published on
#set-theory #proof-explanation
176
Views

Ultraproduct of simple structures

Published on
#logic #set-theory #first-order-logic #model-theory
266
Views

Models of $\mathrm{V\neq HOD}$

Published on
#proof-verification #set-theory #forcing
58
Views

Cardinality of initial segments

Published on
#set-theory
446
Views

What is the $\text{♢-Axiom}$? (now known to be the 'Diamond Principle / Axiom')

Published on
#set-theory #operator-algebras
59
Views

The use of the Axiom of Choice in this proof of the sequence lemma

Published on
#general-topology #set-theory
1.2k
Views

What is the status of the Axiom of limitation of size? (adrift for almost a century now)

Published on
#logic #soft-question #set-theory #infinity #axioms
138
Views

Can elementary embeddings make ordinals jump over strongly inaccessible cardinals?

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

Serre says open covers do not form a set, why? Directed sets and limits.

Published on
#general-topology #set-theory #sheaf-theory #sheaf-cohomology #coherent-sheaves
727
Views

Well-definedness of uncomputable functions.

Published on
#set-theory #computability #foundations
94
Views

What does it mean to draw a point from a distribution with non-singleton atoms?

Published on
#measure-theory #set-theory

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.