MATH
Login Or Sign up

List Question

15
320
Views

"Categorical" Schröder–Bernstein theorem?

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

X is union of 2 sets with special properties

Published on
#functions #set-theory
42
Views

Is there a universally accepted "nested element of" relation?

Published on
#notation #set-theory #terminology
651
Views

Two-sorted first-order set theory

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

Can this theory with power sets containing only definable subsets have an external automorphism that move ranks?

Published on
#set-theory #first-order-logic
65
Views

Proving Aleph Number Equations

Published on
#set-theory
87
Views

Bijection between an infinite set and the sets of all its finite sequences

Published on
#set-theory #cardinals
859
Views

Really confused about the relationship between set theory, functions, ZFC, Peano axioms, etc.

Published on
#logic #set-theory #definition #foundations #peano-axioms
177
Views

ZF+DC as the boundary of constructive mathematics

Published on
#reference-request #set-theory #constructive-mathematics #hahn-banach-theorem
149
Views

Does "diagonalization" over elementary embeddings yield another elementary embedding

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

On what set is the group action of the sequence truncation function, the identity function?

Published on
#group-theory #functions #set-theory #group-actions #ordinals
87
Views

$\{\{S\}\}\not\in S$ with only pairing and regularity? (also extensionality)

Published on
#set-theory
238
Views

How can I explain to my professor his argument invokes the AC?

Published on
#set-theory #axiom-of-choice
433
Views

R is countable using Zorn's Lemma?

Published on
#combinatorics #set-theory
124
Views

There exists a unique isomorphism between wosets

Published on
#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.