Androma

Androma Theorems Database

Home

Return to the main page

Pages

Browse all wiki pages

Theorems

Mathematical theorems & proofs

Notation

Symbol & convention glossary

Areas of Mathematics

Explore mathematical fields

Discussions

Community conversations

Quick Links

Study TeX Projects Learn Events Papers Advanced Search Documentation Review Queue Blog Notes Organizations Research Groups
Knowledge Base

Theorems

Proven results, with proofs, prerequisites, and citations.

Random

Fodor's Pressing Down Lemma

#4841
Discrete Mathematics Logic
Statement
Description
Discrete Mathematics Logic

Cardinality of a Well-Orderable Set Is an Initial Ordinal

#4820
Discrete Mathematics Logic
Statement
Description
Discrete Mathematics Logic

Hartogs' Theorem

#4822
Discrete Mathematics Logic
Statement
Description
Discrete Mathematics Logic

Well-Founded Induction

#4797
Discrete Mathematics Logic
Statement
Description
Discrete Mathematics Logic

Ordinals Are Constructible

#4851
Discrete Mathematics Logic
Statement
Description
Discrete Mathematics Logic

Surjection Splitting Principle Implies the Axiom of Choice

#4826
Discrete Mathematics Logic
Statement
Description
Discrete Mathematics Logic

Right Continuity of Ordinal Addition, Multiplication, and Exponentiation

#4816
Discrete Mathematics Logic
Statement
Description
Discrete Mathematics Logic

Monotonicity of Ordinal Operations in the Right Argument

#4817
Discrete Mathematics Logic
Statement
Description
Discrete Mathematics Logic

Existence of Successor Cardinals

#4823
Discrete Mathematics Logic
Statement
Description
Discrete Mathematics Logic

Canonical Definable Well-Ordering of the Constructible Universe

#4855
Discrete Mathematics Logic
Statement
Description
Discrete Mathematics Logic
Showing 10 of 5217 theorems