Twierdzenie Tarskiego o ultrafiltrze – twierdzenie matematyczne w teorii mnogości podane przez Alfreda Tarskiego w 1930 roku.
Treść twierdzenia Tarskiego: Każdy zbiór scentrowany zawiera się w pewnym ultrafiltrze.
Ponieważ każdy filtr jest zbiorem scentrowanym, to z twierdzenia Tarskiego można wywnioskować, że każdy filtr zawiera się w pewnym ultrafiltrze.
Przypisy Aleksander Błaszczyk, Sławomir Turek, Teoria mnogości, Wydawnictwo Naukowe PWN, Warszawa 2015, , s. 212 Aleksander Błaszczyk, Sławomir Turek, Teoria mnogości, Wydawnictwo Naukowe PWN, Warszawa 2015, , s. 212, Twierdzenie 10.8
Tarskiego o ultrafiltrze