EDB β€” 25W

↑ ← β†’ ↓ view in whole PDF view in whole HTML

View

English

Exercises

  1. [25W]Having fixed Nβˆˆβ„•, consider the ordering nβŠ†m for n,m∈N. Since NβŠ†β„• is well ordered, then Proposition [26J] implies that (N,βŠ†) is well ordered; nonetheless prove directly by induction that nβŠ†m is a well ordering in N.

    Solution 1

    [25X]

Download PDF
Managing blob in: Multiple languages
This content is available in: Italian English