είναι μια συλλογή
ένθετων υποσυνόλων του
. Δηλαδή, από κάθε δύο μέλη του
, το ένα υποσύνολο πρέπει να περιέχει το άλλο. Πρέπει κάθε αλυσίδα υποσυνόλων των θετικών ακεραίων να είναι αριθμήσιμη ; Γιατί;Συντονιστής: Demetres
είναι μια συλλογή
ένθετων υποσυνόλων του
. Δηλαδή, από κάθε δύο μέλη του
, το ένα υποσύνολο πρέπει να περιέχει το άλλο. Πρέπει κάθε αλυσίδα υποσυνόλων των θετικών ακεραίων να είναι αριθμήσιμη ; Γιατί;Υπάρχει και υπεραριθμήσιμη τέτοια οικογένεια. Μπορούμε να την κατασκευάσουμε ως εξής:vzf έγραψε:Μια αλυσίδα υποσυνόλων ενός συνόλουείναι μια συλλογή
ένθετων υποσυνόλων του
. Δηλαδή, από κάθε δύο μέλη του
, το ένα υποσύνολο πρέπει να περιέχει το άλλο. Πρέπει κάθε αλυσίδα υποσυνόλων των θετικών ακεραίων να είναι αριθμήσιμη ; Γιατί;
μπορούμε να πάρουμε το ισοδύναμο του
.
με
, Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 3 επισκέπτες