Explore Further
Saturated Elementary Extension Theorem
Logic
Surjections Have Right Inverses Under the Axiom of Choice
Logic
Standard Young Tableaux as the Leading Term of Schur Specializations
Combinatorics
Bogolyubov Lemma for Finite Vector Spaces
Combinatorics
The Word Problem for Type 0 Grammars Is Unsolvable
Discrete Mathematics
Sets of Ordinals Are Well-Ordered by Membership
Logic
The Emptiness Problem for Regular Grammars Is Solvable
Discrete Mathematics
Prenex Normal Form Theorem
Logic
Discrete Mathematics
Area
Logic
Subarea