Autor: Kotlarski, Henryk - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: On elementary cuts in recursively saturated models of Peano Arithmetic
Autorzy:: Kotlarski, Henryk
Powiązania:: https://bibliotekanauki.pl/articles/1363591.pdf
Data publikacji:: 1984
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Fundamenta Mathematicae; 1984, 120, 3; 205-222
0016-2736
Pojawia się w:: Fundamenta Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 2.

Artykuł

Skocz do pozycji: 3.

Tytuł:: A partition theorem for α-large sets
Autorzy:: Bigorajska, Teresa
Kotlarski, Henryk
Powiązania:: https://bibliotekanauki.pl/articles/1205251.pdf
Data publikacji:: 1999
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Opis:: Working with Hardy hierarchy and the notion of largeness determined by it, we define the notion of a partition of a finite set of natural numbers $A=∪_{i
Źródło:: Fundamenta Mathematicae; 1999, 160, 1; 27-37
0016-2736
Pojawia się w:: Fundamenta Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 4.

Tytuł:: On extending automorphisms of models of Peano Arithmetic
Autorzy:: Kossak, Roman
Kotlarski, Henryk
Powiązania:: https://bibliotekanauki.pl/articles/1205507.pdf
Data publikacji:: 1996
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Opis:: Continuing the earlier research in [10] we give some information on extending automorphisms of models of PA to end extensions and cofinal extensions.
Źródło:: Fundamenta Mathematicae; 1996, 149, 3; 245-263
0016-2736
Pojawia się w:: Fundamenta Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 5.

Artykuł

Skocz do pozycji: 6.

Tytuł:: On regular interstices and selective types in countable arithmetically saturated models of Peano Arithmetic
Autorzy:: Bigorajska, Teresa
Kotlarski, Henryk
Schmerl, James
Powiązania:: https://bibliotekanauki.pl/articles/1205291.pdf
Data publikacji:: 1998
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Opis:: We continue the earlier research of [1]. In particular, we work out a class of regular interstices and show that selective types are realized in regular interstices. We also show that, contrary to the situation above definable elements, the stabilizer of an element inside M(0) whose type is selective need not be maximal.
Źródło:: Fundamenta Mathematicae; 1998, 158, 2; 125-146
0016-2736
Pojawia się w:: Fundamenta Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Informacja