Szybszy dostęp niż przeglądarce!
40 kontakty: Aksjomaty Zermela-Fraenkla, Algebra, Algebra Boole’a, Ciało (formalnie) rzeczywiste, Ciało (matematyka), Ciało uporządkowane, Częściowy porządek, Dobry porządek, Duże liczby kardynalne, Filtr (matematyka), Formuła logiczna, Forsing, Funkcja, Funkcja różnowartościowa, Giuseppe Peano, Grupa (matematyka), Hipoteza continuum, Iloczyn kartezjański, Izomorfizm, Jerzy Łoś (logik), Kurt Gödel, Liczba mierzalna, Moc zbioru, Pojęcie forsingu, Porządek liniowy, Proper forsing, Rachunek predykatów pierwszego rzędu, Relacja (matematyka), Relacja równoważności, Rodzina zbiorów, Saharon Szelach, Struktura matematyczna, Symbol funkcyjny, Symbol relacyjny, Teoria mnogości, Teoria modeli, Transactions of the American Mathematical Society, Zbiór przeliczalny, Zbiór skończony, Zdanie logiczne.
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!!: Ultraprodukt i Aksjomaty Zermela-Fraenkla · Zobacz więcej »
Algebra
Dzieło, z którego pochodzi określenie „algebra”: ''Al-kitab al-muchtasar fi hisab al-dżabr wa-al-mukabala'' (IX w.) Towarzystwa do Ksiąg Elementarnych Algebra (al-dżabr) – jedna z głównych dziedzin matematyki, zajmująca się wszelkimi strukturami algebraicznymi, czyli zbiorami – lub bardziej ogólnymi klasami – wyposażonymi w działania; struktury te bywająteż nazywane algebrami ogólnymi.
Nowy!!: Ultraprodukt i Algebra · 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!!: Ultraprodukt i Algebra Boole’a · Zobacz więcej »
Ciało (formalnie) rzeczywiste
Ciało (formalnie) rzeczywiste – ciało K, w którym zachodzi czyli, jeśli suma kwadratów elementów z ciała wynosi zero, to każdy z tych elementów musi być równy zero.
Nowy!!: Ultraprodukt i Ciało (formalnie) rzeczywiste · Zobacz więcej »
Ciało (matematyka)
klasa właściwa spełniajątylko niestandardową, poszerzonądefinicję ciała. liniowo. liczb rzeczywistych liczb konstruowalnych. Liczby zespolone to inny przykład ciała. Zasadnicze twierdzenie algebry mówi, że jest to ciało algebraicznie domknięte. ciele skończonym, konkretniej dwuelementowym. Ciało – typ struktury algebraicznej z dwoma działaniami; krótko definiowany jako przemienny pierścień z dzieleniem lub dziedzina całkowitości z odwracalnościąelementów.
Nowy!!: Ultraprodukt i Ciało (matematyka) · Zobacz więcej »
Ciało uporządkowane
Ciało uporządkowane – ciało K, w którym wyróżniony jest podzbiór D elementów dodatnich o następujących własnościach.
Nowy!!: Ultraprodukt i Ciało uporządkowane · 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!!: Ultraprodukt i Częściowy porządek · Zobacz więcej »
Dobry porządek
Dobry porządek na danym zbiorze X – porządek liniowy na X o tej własności, że każdy niepusty podzbiór zbioru X ma element najmniejszy (ze względu na ten porządek).
Nowy!!: Ultraprodukt i Dobry porządek · Zobacz więcej »
Duże liczby kardynalne
Duże liczby kardynalne – liczby kardynalne, których istnienia nie można udowodnić na gruncie aksjomatyki Zermela-Fraenkla (ZFC), i ponadto takie, dla których niesprzeczność istnienia nie wynika z niesprzeczności ZFC, a jednocześnie można wykazać niesprzeczność nieistnienia tych liczb.
Nowy!!: Ultraprodukt i Duże liczby kardynalne · Zobacz więcej »
Filtr (matematyka)
Filtr – rodzina w jakimś sensie dużych zbiorów.
Nowy!!: Ultraprodukt i Filtr (matematyka) · Zobacz więcej »
Formuła logiczna
Formuła logiczna – określenie dozwolonego wyrażenia w wielu systemach logicznych, m.in.
Nowy!!: Ultraprodukt i Formuła logiczna · Zobacz więcej »
Forsing
Forsing (forcing) – metoda dowodzenia niesprzeczności i niezależności zdań teorii mnogości względem aksjomatów Zermela-Fraenkla.
Nowy!!: Ultraprodukt i Forsing · 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!!: Ultraprodukt i Funkcja · Zobacz więcej »
Funkcja różnowartościowa
Diagram przemienny przedstawiający iniekcję jako funkcję odwracalnąlewostronnie data.
Nowy!!: Ultraprodukt i Funkcja różnowartościowa · Zobacz więcej »
Giuseppe Peano
''Aritmetica generale e algebra elementare'', 1902 Giuseppe Peano (ur. 27 sierpnia 1858 w Spinetta, zm. 20 kwietnia 1932 w Turynie) – włoski matematyk i logik.
Nowy!!: Ultraprodukt i Giuseppe Peano · Zobacz więcej »
Grupa (matematyka)
Grupa – struktura algebraiczna definiowana jako zbiór z określonym na nim łącznym i odwracalnym dwuargumentowym działaniem wewnętrznym; szczególny przypadek monoidu, w którym każdy element ma element odwrotny (zob. Podobne struktury).
Nowy!!: Ultraprodukt i Grupa (matematyka) · 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!!: Ultraprodukt i Hipoteza continuum · Zobacz więcej »
Iloczyn kartezjański
Iloczyn kartezjański, produkt zbiorów – dla danych zbiorów A i B zbiór wszystkich takich par uporządkowanych (a, b), że a należy do zbioru A i b należy do zbioru B. Iloczyn kartezjański zbiorów A i B oznacza się symbolem A\times B. Nazwa iloczyn kartezjański odwołuje się do pojęcia kartezjańskiego układu współrzędnych na płaszczyźnie ze względu na następującąanalogię: punkty w kartezjańskim układzie współrzędnych na płaszczyźnie opisane sąza pomocąuporządkowanych par liczb (pierwsza liczba nazywana jest odciętą, druga rzędną) – elementy iloczynu kartezjańskiego \mathbb\times \mathbb można zatem utożsamiać z punktami na płaszczyźnie.
Nowy!!: Ultraprodukt i Iloczyn kartezjański · Zobacz więcej »
Izomorfizm
Izomorfizm (gr. isos – równy, morphe – kształt) – funkcja wzajemnie jednoznaczna (bijekcja) z jednego obiektu matematycznego w drugi, która zachowuje funkcje, relacje i wyróżnione elementy.
Nowy!!: Ultraprodukt i Izomorfizm · Zobacz więcej »
Jerzy Łoś (logik)
Jerzy Maria Michał Łoś (ur. 22 marca 1920 we Lwowie, zm. 1 czerwca 1998 w Warszawie) – polski logik, matematyk i ekonomista.
Nowy!!: Ultraprodukt i Jerzy Łoś (logik) · Zobacz więcej »
Kurt Gödel
Kurt Gödel (wym. niem., ur. 28 kwietnia 1906 w Brnie, zm. 14 stycznia 1978 w Princeton) – austriacko-amerykański naukowiec: matematyk, fizyk teoretyk i filozof, specjalizujący się w logice matematycznej i teorii mnogości, zajmujący się również teoriąwzględności i filozofiąmatematyki.
Nowy!!: Ultraprodukt i Kurt Gödel · Zobacz więcej »
Liczba mierzalna
Liczba mierzalna – nieprzeliczalna liczba kardynalna \kappa na której istnieje \kappa-zupełny niegłówny ultrafiltr.
Nowy!!: Ultraprodukt i Liczba mierzalna · Zobacz więcej »
Moc zbioru
Moc zbioru, liczba kardynalna – uogólnienie pojęcia liczebności zbioru na dowolne zbiory, także nieskończone.
Nowy!!: Ultraprodukt i Moc zbioru · Zobacz więcej »
Pojęcie forsingu
Pojęcie forsingu – praporządek używany w teorii forsingu i jej zastosowaniach.
Nowy!!: Ultraprodukt i Pojęcie forsingu · Zobacz więcej »
Porządek liniowy
Ilustracja porządku liniowego Porządek liniowy – częściowy porządek będący zarazem łańcuchem, czyli taki, w którym każde dwa elementy rozpatrywanego zbioru sąporównywalne.
Nowy!!: Ultraprodukt i Porządek liniowy · 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!!: Ultraprodukt 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!!: Ultraprodukt i Rachunek predykatów pierwszego rzędu · Zobacz więcej »
Relacja (matematyka)
Relacja – dowolny podzbiór iloczynu kartezjańskiego skończonej liczby zbiorów; definicja ta oddaje intuicję pewnego związku, czy zależności między elementami wspomnianych zbiorów (elementy wspomnianych zbiorów pozostająw związku albo łączy je pewna zależność, czy też własność lub nie).
Nowy!!: Ultraprodukt i Relacja (matematyka) · Zobacz więcej »
Relacja równoważności
Relacja równoważności – zwrotna, symetryczna i przechodnia relacja dwuargumentowa określona na pewnym zbiorze utożsamiająca ze sobąw pewien sposób jego elementy, co ustanawia podział tego zbioru na rozłączne podzbiory według tej relacji.
Nowy!!: Ultraprodukt i Relacja równoważności · Zobacz więcej »
Rodzina zbiorów
Rodzina zbiorów – wygodniejsza, często używana nazwa na określenie „zbioru zbiorów”.
Nowy!!: Ultraprodukt i Rodzina zbiorów · 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!!: Ultraprodukt i Saharon Szelach · 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!!: Ultraprodukt i Struktura matematyczna · Zobacz więcej »
Symbol funkcyjny
Symbol funkcyjny – symbol używany w logice matematycznej i pokrewnych dziedzinach matematyki (np. algebrze abstrakcyjnej).
Nowy!!: Ultraprodukt i Symbol funkcyjny · Zobacz więcej »
Symbol relacyjny
Symbol relacyjny (predykat) – uogólnienie zmiennych zdaniowych rachunku zdań w rachunku predykatów pierwszego rzędu.
Nowy!!: Ultraprodukt i Symbol relacyjny · 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!!: Ultraprodukt i Teoria mnogości · Zobacz więcej »
Teoria modeli
Teoria modeli (nazywana też '''semantykąlogiczną''') – dział logiki matematycznej zajmujący się badaniem własności modeli teorii aksjomatycznych i zależności między nimi.
Nowy!!: Ultraprodukt i Teoria modeli · Zobacz więcej »
Transactions of the American Mathematical Society
Transactions of the American Mathematical Society - czasopismo naukowe o tematyce matematycznej (miesięcznik) wydawane przez Amerykańskie Towarzystwo Matematyczne od 1900 roku.
Nowy!!: Ultraprodukt i Transactions of the American Mathematical Society · Zobacz więcej »
Zbiór przeliczalny
Zbiór przeliczalny – zbiór, którego elementy można ustawić w ciąg (skończony bądź nie), tzn.
Nowy!!: Ultraprodukt i Zbiór przeliczalny · Zobacz więcej »
Zbiór skończony
Zbiór skończony – zbiór o skończonej liczbie elementów.
Nowy!!: Ultraprodukt i Zbiór skończony · Zobacz więcej »
Zdanie logiczne
Zdanie logiczne – podstawowa kategoria syntaktyczna, będąca jednocześnie formąwypowiedzi, mającej na celu określenie stanu faktycznego danej rzeczy.
Nowy!!: Ultraprodukt i Zdanie logiczne · Zobacz więcej »
Przekierowuje tutaj:
Twierdzenie Łosia, Ultrapotęga.
