Szybszy dostęp niż przeglądarce!
48 kontakty: Aksjomat determinacji, Aksjomat Martina, Aksjomat wyboru, Aksjomaty Zermela-Fraenkla, Algebra Boole’a, Andrzej Rosłanowski, Częściowy porządek, Diagram Cichonia, Diament Jensena, Dowód (matematyka), Dziedzina (matematyka), Filtr (matematyka), Funkcja, Funkcja ciągła, Graniczna liczba porządkowa, Helena Rasiowa, Hipoteza continuum, Hipoteza Kurepy, Hipoteza Suslina, Ideał (teoria mnogości), Indukcja pozaskończona, Koniunkcja (logika), Kresy dolny i górny, Kwantyfikator, Liczby porządkowe, Moc zbioru, Negacja, Paul Cohen, PFA (aksjomat), Pojęcie forsingu, Praporządek, Proper forsing, Rachunek predykatów pierwszego rzędu, Robert M. Solovay, Roman Sikorski, Routledge Encyclopedia of Philosophy, Saharon Szelach, Semantyka (logika), Struktura matematyczna, Teoria mnogości, Tomáš Jech, Tomek Bartoszyński, Uniwersum (matematyka), W. Hugh Woodin, Wartość logiczna, Zbiór miary zero, Zbiór pierwszej kategorii, Zbiór stacjonarny.
Aksjomat determinacji
Aksjomat determinacji, AD (od ang. axiom of determinacy) – aksjomat teorii mnogości postulujący zdeterminowanie pewnych gier nieskończonych.
Nowy!!: Forsing i Aksjomat determinacji · Zobacz więcej »
Aksjomat Martina
Aksjomat Martina – zdanie postulujące pewnąwłasność zbiorów uporządkowanych.
Nowy!!: Forsing i Aksjomat Martina · Zobacz więcej »
Aksjomat wyboru
Dla każdej rodziny niepustych zbiorów (słoików) istnieje funkcja przypisująca elementom z tych zbiorów po jednym elemencie w pewnym zbiorze (słoiku) (S''i'') jest rodzinązbiorów indeksowanąza pomocąliczb rzeczywistych '''R''', tzn. dla każdej liczby rzeczywistej ''i'' istnieje jakiś zbiór S''i''; kilka takich zbiorów pokazano powyżej. Każdy taki zbiór posiada co najmniej jeden element, choć może ich mieć dowolnie wiele. Aksjomat wyboru pozwala dowolnie wybrać po jednym elemencie z każdego zbioru, aby utworzyć rodzinę elementów (''x''''i'') indeksowanych liczbami rzeczywistymi, gdzie ''x''''i'' wybrano z S''i''. W ogólności rodzina może być indeksowana liczbami należącymi do dowolnego zbioru ''I'', niekoniecznie do '''R'''. Aksjomat wyboru, pewnik wyboru, AC (od) – aksjomat teorii mnogości gwarantujący istnienie zbioru zawierającego dokładnie po jednym elemencie z każdego zbioru należącego do danej rodziny niepustych zbiorów rozłącznych.
Nowy!!: Forsing i Aksjomat wyboru · Zobacz więcej »
Aksjomaty Zermela-Fraenkla
Aksjomaty ZermelaW literaturze przedmiotu dominuje dopełniacz nazwiska w postaci nieodmienionej, czyli „aksjomaty Zermelo”, co jest niezgodne z polskimi zasadami deklinacji; sporadycznie pojawia się, również niepoprawna, forma „Zermeli”.
Nowy!!: Forsing i Aksjomaty Zermela-Fraenkla · Zobacz więcej »
Algebra Boole’a
Diagram Hassego dla algebry Boole’a podzbiorów zbioru trójelementowego Diagramy Venna dla operatorów algebry Boole’a Algebra Boole’a – pewien typ struktury algebraicznej, rodzaj algebry ogólnej stosowany w matematyce, informatyce teoretycznej oraz elektronice cyfrowej.
Nowy!!: Forsing i Algebra Boole’a · Zobacz więcej »
Andrzej Rosłanowski
Andrzej Rosłanowski – polsko-amerykański matematyk zajmujący się teoriąmnogości, profesor na University of Nebraska w Omaha.
Nowy!!: Forsing i Andrzej Rosłanowski · Zobacz więcej »
Częściowy porządek
Zbiór podzbiorów x,y,z, uporządkowany przez inkluzję podzielności grupy diedralnej Częściowy porządek – relacja zwrotna, przechodnia i (słabo) antysymetryczna albo równoważnie antysymetryczny praporządek.
Nowy!!: Forsing i Częściowy porządek · Zobacz więcej »
Diagram Cichonia
Diagram Cichonia – diagram złożony dziesięciu liczb kardynalnych, związanych ze strukturąideałów zbiorów pierwszej kategorii i zbiorów miary zero na prostej rzeczywistej, oraz ze strukturąprzestrzeni Baire’a ^\mathbb N (tzn. przestrzeni wszystkich ciągów liczb naturalnych).
Nowy!!: Forsing i Diagram Cichonia · Zobacz więcej »
Diament Jensena
Diament Jensena – zdanie w teorii mnogości, oznaczane przez \diamondsuit, postulujące istnienie ciągu zbiorów przeliczalnych, który często zgaduje każdy podzbiór pierwszej nieprzeliczalnej liczby porządkowej \omega_1.
Nowy!!: Forsing i Diament Jensena · Zobacz więcej »
Dowód (matematyka)
Dowód – wykazanie, że pewne zdanie jest prawdziwe.
Nowy!!: Forsing i Dowód (matematyka) · Zobacz więcej »
Dziedzina (matematyka)
Dziedzina – dwuznaczne pojęcie matematyczno-logiczne.
Nowy!!: Forsing i Dziedzina (matematyka) · Zobacz więcej »
Filtr (matematyka)
Filtr – rodzina w jakimś sensie dużych zbiorów.
Nowy!!: Forsing i Filtr (matematyka) · Zobacz więcej »
Funkcja
suriekcją. parabola. dziedzinie zespolonej. Funkcja („odbywanie, wykonywanie, czynność”Od „wykonać, wypełnić, zwolnić”.), odwzorowanie, przekształcenie, transformacja – pojęcie matematyczne używane w co najmniej dwóch zbliżonych znaczeniach.
Nowy!!: Forsing i Funkcja · Zobacz więcej »
Funkcja ciągła
Funkcja ciągła – funkcja, którąintuicyjnie można scharakteryzować jako.
Nowy!!: Forsing i Funkcja ciągła · Zobacz więcej »
Graniczna liczba porządkowa
Graniczna liczba porządkowa – liczba porządkowa, która nie jest następnikiem innej liczby porządkowej.
Nowy!!: Forsing i Graniczna liczba porządkowa · Zobacz więcej »
Helena Rasiowa
Helena Rasiowa, właśc.
Nowy!!: Forsing i Helena Rasiowa · Zobacz więcej »
Hipoteza continuum
Hipoteza continuum (CH, ang. continuum hypothesis) – hipoteza teorii mnogości dotycząca mocy zbiorów liczb naturalnych i liczb rzeczywistych.
Nowy!!: Forsing i Hipoteza continuum · Zobacz więcej »
Hipoteza Kurepy
Hipoteza Kurepy, KH (od ang. Kurepa hypothesis) – zdanie teorii mnogości postulujące istnienie obiektów nazywanych drzewami Kurepy.
Nowy!!: Forsing i Hipoteza Kurepy · Zobacz więcej »
Hipoteza Suslina
Hipoteza Suslina, SH (od) – zdanie postulujące nieistnienie pewnego obiektu (tak zwanego drzewa Suslina).
Nowy!!: Forsing i Hipoteza Suslina · Zobacz więcej »
Ideał (teoria mnogości)
Ideał – rodzina zbiorów w jakimś sensie małych.
Nowy!!: Forsing i Ideał (teoria mnogości) · Zobacz więcej »
Indukcja pozaskończona
Indukcja pozaskończona – rozszerzenie indukcji matematycznej na zbiory dobrze uporządkowane, m.in.
Nowy!!: Forsing i Indukcja pozaskończona · Zobacz więcej »
Koniunkcja (logika)
Koniunkcja – zdanie złożone mające postać p i q, gdzie p, q sązdaniami.
Nowy!!: Forsing i Koniunkcja (logika) · Zobacz więcej »
Kresy dolny i górny
Czerwony romb jest supremum niebieskiego zbioru Kres (kraniec) dolny, infimum („najniższy”) oraz kres (kraniec) górny, supremum („najwyższy”) – pojęcia oznaczające odpowiednio: największe z ograniczeń dolnych oraz najmniejsze z ograniczeń górnych danego zbioru, o ile takie istnieją.
Nowy!!: Forsing i Kresy dolny i górny · Zobacz więcej »
Kwantyfikator
Kwantyfikator – termin przyjęty w matematyce i logice matematycznej na oznaczenie zwrotów: dla każdego, istnieje takie i im pokrewnych, a także odpowiadającym im symbolom wiążącym zmienne w formułach.
Nowy!!: Forsing i Kwantyfikator · Zobacz więcej »
Liczby porządkowe
Liczby porządkowe – specjalne rodzaje zbiorów dobrze uporządkowanych, które sąkanonicznymi reprezentantami klas izomorficzności dobrych porządków.
Nowy!!: Forsing i Liczby porządkowe · Zobacz więcej »
Moc zbioru
Moc zbioru, liczba kardynalna – uogólnienie pojęcia liczebności zbioru na dowolne zbiory, także nieskończone.
Nowy!!: Forsing i Moc zbioru · Zobacz więcej »
Negacja
Negacja (z łac. negatio), zaprzeczenie – pojęcie logiki i językoznawstwa o kilku znaczeniach.
Nowy!!: Forsing i Negacja · Zobacz więcej »
Paul Cohen
Paul Joseph Cohen (ur. 2 kwietnia 1934 w Long Branch, zm. 23 marca 2007 w Stanford) – amerykański matematyk, od 1964 roku profesor Uniwersytetu Stanforda.
Nowy!!: Forsing i Paul Cohen · Zobacz więcej »
PFA (aksjomat)
PFA (z) – aksjomat forsingowy używany w teorii mnogości, topologii i pokrewnych dziedzinach matematyki.
Nowy!!: Forsing i PFA (aksjomat) · Zobacz więcej »
Pojęcie forsingu
Pojęcie forsingu – praporządek używany w teorii forsingu i jej zastosowaniach.
Nowy!!: Forsing i Pojęcie forsingu · Zobacz więcej »
Praporządek
Praporządek, quasi-porządek – relacja, która jest zwrotna i przechodnia.
Nowy!!: Forsing i Praporządek · Zobacz więcej »
Proper forsing
Proper forsing (własność proper pojęć forsingu) – jedna z podstawowych własności pojęć forsingu wprowadzona przez izraelskiego matematyka Saharona Szelacha w drugiej połowie lat 70. XX wieku.
Nowy!!: Forsing i Proper forsing · Zobacz więcej »
Rachunek predykatów pierwszego rzędu
Rachunek predykatów pierwszego rzędu – system logiczny, w którym zmienna, na której oparty jest kwantyfikator, może być elementem pewnej wybranej dziedziny (zbioru), nie może natomiast być zbiorem takich elementów.
Nowy!!: Forsing i Rachunek predykatów pierwszego rzędu · Zobacz więcej »
Robert M. Solovay
Robert M. Solovay (ur. 1938 w Brooklynie) – amerykański matematyk specjalizujący się w logice matematycznej.
Nowy!!: Forsing i Robert M. Solovay · Zobacz więcej »
Roman Sikorski
Roman Sikorski (ur. 11 lipca 1920 w Mszczonowie, zm. 12 września 1983 w Warszawie) – polski matematyk, profesor Uniwersytetu Warszawskiego i Instytutu Matematycznego PAN, członek rzeczywisty PAN, autor prac z logiki matematycznej, algebr Boole’a, topologii, funkcji rzeczywistych, analizy funkcjonalnej (teoria wyznacznikowa dla pewnego typu operatorów liniowych ograniczonych na przestrzeniach Banacha), oryginalne ujęcie teorii dystrybucji.
Nowy!!: Forsing i Roman Sikorski · Zobacz więcej »
Routledge Encyclopedia of Philosophy
Routledge Encyclopedia of Philosophy – encyklopedia filozofii pod redakcjąEdwarda Craiga.
Nowy!!: Forsing i Routledge Encyclopedia of Philosophy · Zobacz więcej »
Saharon Szelach
Saharon Szelach Saharon Szelach (hebr. שהרן שלח, en. Saharon Shelah) (ur. 3 lipca 1945 w Jerozolimie) – izraelski matematyk, profesor na Uniwersytecie Hebrajskim w Jerozolimie oraz Uniwersytecie Rutgersa w Stanach Zjednoczonych.
Nowy!!: Forsing i Saharon Szelach · Zobacz więcej »
Semantyka (logika)
Semantyka (semantyka logiczna) – obok syntaktyki i pragmatyki jeden z trzech działów semiotyki logicznej (taki podział semiotyki wprowadził Charles W. Morris), zajmujący się funkcjami semantycznymi, tj.
Nowy!!: Forsing i Semantyka (logika) · Zobacz więcej »
Struktura matematyczna
Struktura matematyczna – pojęcie fundamentalne dla matematyki, definiowane jednak w rozmaity sposób, zależnie od teorii i kontekstu.
Nowy!!: Forsing i Struktura matematyczna · Zobacz więcej »
Teoria mnogości
zbiorów. Teoria mnogości, teoria zbiorów – dział matematyki zaliczany do jej działów podstawowych (fundamentalnych); bada on zbiory, zwłaszcza te nieskończone, a także ich uogólnienia jak klasy.
Nowy!!: Forsing i Teoria mnogości · Zobacz więcej »
Tomáš Jech
Tomáš Jech, Thomas Jech (ur. 19 stycznia 1944 w Pradze) - czeski matematyk specjalizujący się w teorii mnogości.
Nowy!!: Forsing i Tomáš Jech · Zobacz więcej »
Tomek Bartoszyński
Tomek Bartoszyński (ur. 16 maja 1957 w Warszawie) – amerykański matematyk polskiego pochodzenia, badacz teorii mnogości.
Nowy!!: Forsing i Tomek Bartoszyński · Zobacz więcej »
Uniwersum (matematyka)
Uniwersum (z łac. ogół, wszystko, Wszechświat) – klasa wszystkich elementów rozpatrywanych w danym kontekście matematycznym.
Nowy!!: Forsing i Uniwersum (matematyka) · Zobacz więcej »
W. Hugh Woodin
Hugh Woodin William Hugh Woodin (ur. 23 kwietnia 1955 w Tucson) – amerykański matematyk specjalizujący się w logice matematycznej.
Nowy!!: Forsing i W. Hugh Woodin · Zobacz więcej »
Wartość logiczna
Wartość logiczna – podstawowa cecha zdania określająca jego stosunek do faktów.
Nowy!!: Forsing i Wartość logiczna · Zobacz więcej »
Zbiór miary zero
Zbiór miary zero – zbiór mierzalny rozważanej przestrzeni mierzalnej (X, \mathfrak M) „nieistotny” z punktu widzenia zadanej na niej miary \mu, tzn.
Nowy!!: Forsing i Zbiór miary zero · Zobacz więcej »
Zbiór pierwszej kategorii
Zbiór pierwszej kategorii (czasami zbiór mizerny lub szczupły) – zbiór, który można przedstawić w postaci przeliczalnej sumy zbiorów nigdziegęstych.
Nowy!!: Forsing i Zbiór pierwszej kategorii · Zobacz więcej »
Zbiór stacjonarny
Zbiory domknięte nieograniczone (club) – rodzina podzbiorów liczby kardynalnej (traktowanej jako liczba porządkowa) zawierająca zbiory w pewnym sensie duże.
Nowy!!: Forsing i Zbiór stacjonarny · Zobacz więcej »
Przekierowuje tutaj:
Forcing, Teoria forsingu, Wymuszanie.
