2
votes
1answer
29 views

Well-founded part of a graph

Let (A,R) be a graph. Define by transfinite recursion: $ W_{0}=\emptyset \\ W_{\alpha+1}=\{a \in A : ext_{R}(a) \subseteq W_{\alpha +1}\} \\ W_{\alpha}=\cup_{\beta < \alpha} W_{\beta} \text{if ...
2
votes
1answer
152 views

Well ordering and maximal principle

I have to prove that given any poset $(P,\preceq)$ there exists a chain $S$ such that it is maximal (meaning that if $S\subseteq S'$ then $S=S'$). The book contains a proof using the axiom of ...