Categories
Tags
Set-theory
New post in Set-theory
Results in cardinal arithmetic
December 6th, 2022
cardinals
set-theory
What's the point of the axiom of extensionality?
November 27th, 2022
logic
set-theory
Division by two in set theory
August 1st, 2022
set-theory
Is cardinality a total order? Is AC necessary?
August 11th, 2020
cardinals
set-theory
axiom-of-choice
Prove that the Lexicographical Order is Partially Ordered
August 18th, 2020
set-theory
Does there exist a set of all cardinals?
February 17th, 2020
cardinals
set-theory
Prove every filter is contained in an ultrafilter
July 30th, 2020
filters
set-theory
When to use transfinite induction?
March 18th, 2020
set-theory
induction
transfinite-recursion
which of the following sets are countable
October 3rd, 2020
set-theory
NFA to DFA conversion, half the power set
September 27th, 2020
set-theory
automata
Where does this proof of the Continuum Hypothesis use the axiom of choice?
August 1st, 2022
axiom-of-choice
set-theory
cardinals
There's no set $X$ such that $P(X)\subset X$.
August 1st, 2022
set-theory
self-learning
Neither Even Nor Odd Natural Numbers
August 1st, 2022
peano-axioms
logic
set-theory
model-theory
Prove something is a partial order
April 4th, 2020
relations
set-theory
Definition of class function
August 1st, 2022
set-theory
Either two sets have the same cardinality, or one has cardinality greater than the other
January 10th, 2020
order-theory
set-theory
If $\alpha$ and $\beta$ are ordinals, prove that $\alpha ^ \beta$ is a countable ordinal.
February 14th, 2020
ordinals
set-theory
Why can a set not contain itself?
June 4th, 2020
set-theory
Proving the Schroeder-Bernstein theorem
June 17th, 2020
set-theory
logic
cardinals
Every finite partially ordered set has a maximum length chain.
August 1st, 2022
set-theory
order-theory
Closed, unbounded subset of a cardinal.
August 1st, 2022
ordinals
set-theory
cardinals
The Recursion Theorem (Set Theory)
August 1st, 2022
set-theory
Dense in itself sets
April 9th, 2020
real-analysis
general-topology
set-theory
Mathematical representation of the largest element in a set
December 20th, 2020
notation
set-theory
Inverse of power-set functor?
March 6th, 2020
category-theory
set-theory
Axiom of Choice iff Every set has a choice function
August 1st, 2022
set-theory
axiom-of-choice
Is the set of all definable subsets of the natural numbers recursively enumerable?
August 1st, 2022
set-theory
logic
What is actually "relatively consistent"?
July 17th, 2020
set-theory
incompleteness
logic
Russell's shoes and socks
September 20th, 2020
axiom-of-choice
set-theory
Countable Cartesian Product of Countable Sets
May 13th, 2020
induction
set-theory
←
1
2
3
4
5
6
7
8
9
…
19
20
→