Page history
Jump to navigation
Jump to search
29 August 2023
16 October 2022
C7X
no edit summary
+33
C7X
Created page with "'''Fodor's lemma''' (or the '''pressing-down lemma''') is a lemma proven by Géza Fodor in 1956. The lemma states that when \(\kappa\) is an uncountable regular cardinal and \(S\) is a stationary set of ordinals \(<\kappa\), any regressive function \(f:S\to\{<\kappa\}\) must be constant on a stationary set of ordinals \(<\kappa\). ==Importance to apierology== Since \(\omega_1\) is regular, setting \(S=\{<\omega_1\}\), Fodor's lemma implies there does not exist a fundame..."
+1,230