Alternatívna teória množín

Z Wikipédie

Alternatívna teória množín vo všeobecnosti je alternatívny matematický prístup ku konceptu množiny. Je to navrhovaná alternatíva k štandardnej teórii množín.

Niektoré z alternatívnych teórií množín:

• teória polomnožín;
• teória hrubých množín;
• teória neostrých množín.
• teória množín New Foundations
• teória kladných množín

Alternatívna teória množín (alebo ATM) je tiež špecificky názov konkrétnej teórie vyvinutej v 70.-80. rokoch 20. storočia Petrom Vopěnkom a jeho študentami. Stavia na niektorých myšlienkach teórie polomnožín, ale zavádza aj radikálnejšie zmeny: napr. všetky množiny sú konečné (hoci niektoré sú „neštandardne konečné“ a externe v skutočnosti nekonečné, a v ATM existujú tiež triedy, ktoré môžu byť nekonečné aj interne.

[upraviť] Pozri aj

• Non-well-founded set theory
• New Foundations
• Teória kladných množín

[upraviť] Referencie

Vopěnka, P.: Úvod do matematiky v alternatívnej teórii množín. Bratislava, Alfa 1989