Find link

language:

Find link is a tool written by Edward Betts.

searching for Mostowski collapse lemma 1 found (8 total)

alternate case: mostowski collapse lemma

Well-founded relation (1,382 words) [view diff] exact match in snippet view article find links to article

the chain ω, n − 1, n − 2, ..., 2, 1 has length n for any n. The Mostowski collapse lemma implies that set membership is a universal among the extensional