Freitag, 26. März 2021
CCC souslin hypothese
top_os_b, 13:44h
Das ccc Axiom, das zum Zermelo Fraenkel Sytem noch ein unabhängiges Axion hinzufügt ist mit Sicherheit ein wichtiges Axiom. Es geht darum, dass jede Familie paarweise disjunkter offener Mengen wiederum eine abzählbare Überdeckung besitzt. Welche Implikationen daraufhin aus der Kategorientheorie für die Kombinatoren zu folgern sind ? Schließlich ist die Theorie der Topen und damit der Aussagenlogik und Mengenlehre darin konstruierbar. Jedenfalls sieht man hier Gödels Vermutung impliziet dann wieder bestätigt , falls man das in die Konstruktion der jeweiligen Kategorien mit einbezieht..
