Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 7

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last

Wyniki wyszukiwania

help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Definable quantifiers in second order arithmetic and elementary extensions of ω-models

100%
Guzicki W.
Instytut Matematyczny Polskiej Akademii Nauk
EN
CONTENTS 0. Introduction and terminology..............................................................5 1. Quantifiers and elementary extensions..............................................8 2. Elementary extensions of countable models of set theory................15 3. Interpretations of set theory in extensions of A₂...............................21 4. Definable quantifiers in models of A₂...............................................32 5. Elementary generic extensions........................................................40 References..........................................................................................50
2
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Kolorowanie wierzchołków kwadratu

95%
Guzicki W.
Matematyka Poglądowa
|
2016
|
nr 3
24-30
PL
-
3
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Jak Ali-Baba może nas przekonać, że umie otworzyć Sezam ?

95%
Guzicki W.
Matematyka Poglądowa
|
2014
|
nr 1
32-41
PL
-
4
Content available remote

The equivalence of definable quantifiers in second order arithmetic

42%
Guzicki W.
Fundamenta Mathematicae
|
1981
|
tom 113
|
nr 1
59-65
5
Content available remote

On weaker forms of choice in second order arithmetic

36%
Guzicki W.
Fundamenta Mathematicae
|
1976
|
tom 93
|
nr 2
131-144
6
Content available remote

A remark on the independence of a basis hypothesis

36%
Guzicki W.
Fundamenta Mathematicae
|
1973
|
tom 78
|
nr 2
189-191
7
Content available remote

Uncountable β-models with countable height

36%
Guzicki W.
Fundamenta Mathematicae
|
1974-1975
|
tom 82
|
nr 2
143-152
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.